src/com/hughes/android/dictionary/DictionaryActivity.java

   1 // Copyright 2011 Google Inc. All Rights Reserved.\r
   2 //\r
   3 // Licensed under the Apache License, Version 2.0 (the "License");\r
   4 // you may not use this file except in compliance with the License.\r
   5 // You may obtain a copy of the License at\r
   6 //\r
   7 //     http://www.apache.org/licenses/LICENSE-2.0\r
   8 //\r
   9 // Unless required by applicable law or agreed to in writing, software\r
  10 // distributed under the License is distributed on an "AS IS" BASIS,\r
  11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\r
  12 // See the License for the specific language governing permissions and\r
  13 // limitations under the License.\r
  14 \r
  15 package com.hughes.android.dictionary;\r
  16 \r
  17 import java.io.File;\r
  18 import java.io.FileWriter;\r
  19 import java.io.IOException;\r
  20 import java.io.PrintWriter;\r
  21 import java.io.RandomAccessFile;\r
  22 import java.text.SimpleDateFormat;\r
  23 import java.util.ArrayList;\r
  24 import java.util.Date;\r
  25 import java.util.List;\r
  26 import java.util.concurrent.Executor;\r
  27 import java.util.concurrent.Executors;\r
  28 import java.util.concurrent.ThreadFactory;\r
  29 import java.util.concurrent.atomic.AtomicBoolean;\r
  30 import java.util.regex.Matcher;\r
  31 import java.util.regex.Pattern;\r
  32 \r
  33 import android.app.Activity;\r
  34 import android.app.Dialog;\r
  35 import android.app.ListActivity;\r
  36 import android.content.Context;\r
  37 import android.content.Intent;\r
  38 import android.content.SharedPreferences;\r
  39 import android.graphics.Typeface;\r
  40 import android.os.Bundle;\r
  41 import android.os.Handler;\r
  42 import android.preference.PreferenceManager;\r
  43 import android.text.ClipboardManager;\r
  44 import android.text.Editable;\r
  45 import android.text.Selection;\r
  46 import android.text.Spannable;\r
  47 import android.text.TextWatcher;\r
  48 import android.text.method.LinkMovementMethod;\r
  49 import android.text.style.StyleSpan;\r
  50 import android.util.Log;\r
  51 import android.util.TypedValue;\r
  52 import android.view.ContextMenu;\r
  53 import android.view.ContextMenu.ContextMenuInfo;\r
  54 import android.view.KeyEvent;\r
  55 import android.view.Menu;\r
  56 import android.view.MenuItem;\r
  57 import android.view.MenuItem.OnMenuItemClickListener;\r
  58 import android.view.MotionEvent;\r
  59 import android.view.View;\r
  60 import android.view.View.OnClickListener;\r
  61 import android.view.View.OnLongClickListener;\r
  62 import android.view.ViewGroup;\r
  63 import android.view.inputmethod.InputMethodManager;\r
  64 import android.widget.AdapterView;\r
  65 import android.widget.AdapterView.AdapterContextMenuInfo;\r
  66 import android.widget.BaseAdapter;\r
  67 import android.widget.Button;\r
  68 import android.widget.EditText;\r
  69 import android.widget.LinearLayout;\r
  70 import android.widget.ListAdapter;\r
  71 import android.widget.ListView;\r
  72 import android.widget.TableLayout;\r
  73 import android.widget.TableRow;\r
  74 import android.widget.TextView;\r
  75 import android.widget.Toast;\r
  76 \r
  77 import com.hughes.android.dictionary.engine.Dictionary;\r
  78 import com.hughes.android.dictionary.engine.Index;\r
  79 import com.hughes.android.dictionary.engine.PairEntry;\r
  80 import com.hughes.android.dictionary.engine.PairEntry.Pair;\r
  81 import com.hughes.android.dictionary.engine.RowBase;\r
  82 import com.hughes.android.dictionary.engine.TokenRow;\r
  83 import com.hughes.android.dictionary.engine.TransliteratorManager;\r
  84 import com.hughes.android.util.PersistentObjectCache;\r
  85 \r
  86 public class DictionaryActivity extends ListActivity {\r
  87 \r
  88   static final String LOG = "QuickDic";\r
  89   \r
  90   String dictFile = null;\r
  91   RandomAccessFile dictRaf = null;\r
  92   Dictionary dictionary = null;\r
  93   int indexIndex = 0;\r
  94   Index index = null;\r
  95   \r
  96   // package for test.\r
  97   final Handler uiHandler = new Handler();\r
  98   private final Executor searchExecutor = Executors.newSingleThreadExecutor(new ThreadFactory() {\r
  99     @Override\r
 100     public Thread newThread(Runnable r) {\r
 101       return new Thread(r, "searchExecutor");\r
 102     }\r
 103   });\r
 104   private SearchOperation currentSearchOperation = null;\r
 105 \r
 106   C.Theme theme = C.Theme.LIGHT;\r
 107   int fontSizeSp;\r
 108   EditText searchText;\r
 109   Button langButton;\r
 110 \r
 111   // Never null.\r
 112   private File wordList = null;\r
 113   private boolean saveOnlyFirstSubentry = false;\r
 114   private boolean clickOpensContextMenu = false;\r
 115 \r
 116   // Visible for testing.\r
 117   ListAdapter indexAdapter = null;\r
 118   \r
 119   final SearchTextWatcher searchTextWatcher = new SearchTextWatcher();\r
 120 \r
 121   //private Vibrator vibrator = null;\r
 122   \r
 123   public DictionaryActivity() {\r
 124   }\r
 125   \r
 126   public static Intent getIntent(final Context context, final int dictIndex, final int indexIndex, final String searchToken) {\r
 127     setDictionaryPrefs(context, dictIndex, indexIndex, searchToken);\r
 128     final Intent intent = new Intent();\r
 129     intent.setClassName(DictionaryActivity.class.getPackage().getName(), DictionaryActivity.class.getName());\r
 130     return intent;\r
 131   }\r
 132   \r
 133   // TODO: Can we trigger an App restart when the preferences activity gets opened?\r
 134   // TODO: fix these...\r
 135 \r
 136   @Override\r
 137   protected void onSaveInstanceState(final Bundle outState) {\r
 138     super.onSaveInstanceState(outState);\r
 139     setDictionaryPrefs(this, dictIndex, indexIndex, searchText.getText().toString());\r
 140   }\r
 141 \r
 142   public static void setDictionaryPrefs(final Context context,\r
 143       final int dictIndex, final int indexIndex, final String searchToken) {\r
 144     final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
 145     prefs.putInt(C.DICT_INDEX, dictIndex);\r
 146     prefs.putInt(C.INDEX_INDEX, indexIndex);\r
 147     prefs.putString(C.SEARCH_TOKEN, searchToken);\r
 148     prefs.commit();\r
 149   }\r
 150   \r
 151   public static void clearDictionaryPrefs(final Context context) {\r
 152     final SharedPreferences.Editor prefs = PreferenceManager\r
 153         .getDefaultSharedPreferences(context).edit();\r
 154     prefs.remove(C.DICT_INDEX);\r
 155     prefs.remove(C.INDEX_INDEX);\r
 156     prefs.remove(C.SEARCH_TOKEN);\r
 157     prefs.commit();\r
 158     Log.d(LOG, "Removed default dictionary prefs.");\r
 159   }\r
 160 \r
 161   @Override\r
 162   public void onCreate(Bundle savedInstanceState) {\r
 163     Log.d(LOG, "onCreate:" + this);\r
 164     theme = ((DictionaryApplication)getApplication()).getSelectedTheme();\r
 165     super.onCreate(savedInstanceState);\r
 166     \r
 167     final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);\r
 168     \r
 169     try {\r
 170       PersistentObjectCache.init(this);\r
 171       QuickDicConfig quickDicConfig = PersistentObjectCache.init(\r
 172           this).read(C.DICTIONARY_CONFIGS, QuickDicConfig.class);\r
 173       dictIndex = prefs.getInt(C.DICT_INDEX, 0) ;\r
 174       final DictionaryInfo dictionaryConfig = quickDicConfig.dictionaryInfos.get(dictIndex);\r
 175       this.setTitle("QuickDic: " + dictionaryConfig.name);\r
 176       dictRaf = new RandomAccessFile(dictionaryConfig.localFile, "r");\r
 177       dictionary = new Dictionary(dictRaf); \r
 178     } catch (Exception e) {\r
 179       Log.e(LOG, "Unable to load dictionary.", e);\r
 180       if (dictRaf != null) {\r
 181         try {\r
 182           dictRaf.close();\r
 183         } catch (IOException e1) {\r
 184           Log.e(LOG, "Unable to close dictRaf.", e1);\r
 185         }\r
 186         dictRaf = null;\r
 187       }\r
 188       Toast.makeText(this, getString(R.string.invalidDictionary, "", e.getMessage()), Toast.LENGTH_LONG);\r
 189       startActivity(DictionaryManagerActivity.getIntent(this));\r
 190       finish();\r
 191       return;\r
 192     }\r
 193 \r
 194     indexIndex = prefs.getInt(C.INDEX_INDEX, 0) % dictionary.indices.size();\r
 195     Log.d(LOG, "Loading index.");\r
 196     index = dictionary.indices.get(indexIndex);\r
 197     setListAdapter(new IndexAdapter(index));\r
 198 \r
 199     // Pre-load the collators.\r
 200     searchExecutor.execute(new Runnable() {\r
 201       public void run() {\r
 202         final long startMillis = System.currentTimeMillis();\r
 203         \r
 204         TransliteratorManager.init(new TransliteratorManager.Callback() {\r
 205           @Override\r
 206           public void onTransliteratorReady() {\r
 207             uiHandler.post(new Runnable() {\r
 208               @Override\r
 209               public void run() {\r
 210                 onSearchTextChange(searchText.getText().toString());\r
 211               }\r
 212             });\r
 213           }\r
 214         });\r
 215         \r
 216         for (final Index index : dictionary.indices) {\r
 217           Log.d(LOG, "Starting collator load for lang=" + index.sortLanguage.getIsoCode());\r
 218           \r
 219           final com.ibm.icu.text.Collator c = index.sortLanguage.getCollator();          \r
 220           if (c.compare("pre-print", "preppy") >= 0) {\r
 221             Log.e(LOG, c.getClass()\r
 222                 + " is buggy, lookups may not work properly.");\r
 223           }\r
 224         }\r
 225         Log.d(LOG, "Loading collators took:"\r
 226             + (System.currentTimeMillis() - startMillis));\r
 227       }\r
 228     });\r
 229     \r
 230     final String fontSize = prefs.getString(getString(R.string.fontSizeKey), "12");\r
 231     try {\r
 232       fontSizeSp = Integer.parseInt(fontSize);\r
 233     } catch (NumberFormatException e) {\r
 234       fontSizeSp = 12;\r
 235     }\r
 236 \r
 237     setContentView(R.layout.dictionary_activity);\r
 238     searchText = (EditText) findViewById(R.id.SearchText);\r
 239     searchText.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
 240     \r
 241     langButton = (Button) findViewById(R.id.LangButton);\r
 242     \r
 243     searchText.requestFocus();\r
 244     searchText.addTextChangedListener(searchTextWatcher);\r
 245     final String search = prefs.getString(C.SEARCH_TOKEN, "");\r
 246     searchText.setText(search);\r
 247     searchText.setSelection(0, search.length());\r
 248     Log.d(LOG, "Trying to restore searchText=" + search);\r
 249     \r
 250     final Button clearSearchTextButton = (Button) findViewById(R.id.ClearSearchTextButton);\r
 251     clearSearchTextButton.setOnClickListener(new OnClickListener() {\r
 252       public void onClick(View v) {\r
 253         onClearSearchTextButton(clearSearchTextButton);\r
 254       }\r
 255     });\r
 256     clearSearchTextButton.setVisibility(PreferenceManager.getDefaultSharedPreferences(this).getBoolean(\r
 257         getString(R.string.showClearSearchTextButtonKey), true) ? View.VISIBLE\r
 258         : View.GONE);\r
 259     \r
 260     final Button langButton = (Button) findViewById(R.id.LangButton);\r
 261     langButton.setOnClickListener(new OnClickListener() {\r
 262       public void onClick(View v) {\r
 263         onLanguageButton();\r
 264       }\r
 265     });\r
 266     langButton.setOnLongClickListener(new OnLongClickListener() {\r
 267       @Override\r
 268       public boolean onLongClick(View v) {\r
 269         onLanguageButtonLongClick();\r
 270         return true;\r
 271       }\r
 272     });\r
 273     updateLangButton();\r
 274     \r
 275     final Button upButton = (Button) findViewById(R.id.UpButton);\r
 276     upButton.setOnClickListener(new OnClickListener() {\r
 277       public void onClick(View v) {\r
 278         onUpDownButton(true);\r
 279       }\r
 280     });\r
 281     final Button downButton = (Button) findViewById(R.id.DownButton);\r
 282     downButton.setOnClickListener(new OnClickListener() {\r
 283       public void onClick(View v) {\r
 284         onUpDownButton(false);\r
 285       }\r
 286     });\r
 287 \r
 288    getListView().setOnItemSelectedListener(new ListView.OnItemSelectedListener() {\r
 289       @Override\r
 290       public void onItemSelected(AdapterView<?> adapterView, View arg1, final int position,\r
 291           long id) {\r
 292         if (!searchText.isFocused()) {\r
 293           // TODO: don't do this if multi words are entered.\r
 294           final RowBase row = (RowBase) getListAdapter().getItem(position);\r
 295           Log.d(LOG, "onItemSelected: " + row.index());\r
 296           final TokenRow tokenRow = row.getTokenRow(true);\r
 297           searchText.setText(tokenRow.getToken());\r
 298         }\r
 299       }\r
 300 \r
 301       @Override\r
 302       public void onNothingSelected(AdapterView<?> arg0) {\r
 303       }\r
 304     });\r
 305 \r
 306     // ContextMenu.\r
 307     registerForContextMenu(getListView());\r
 308 \r
 309     // Prefs.\r
 310     wordList = new File(prefs.getString(getString(R.string.wordListFileKey),\r
 311         getString(R.string.wordListFileDefault)));\r
 312     saveOnlyFirstSubentry = prefs.getBoolean(getString(R.string.saveOnlyFirstSubentryKey), false);\r
 313     clickOpensContextMenu = prefs.getBoolean(getString(R.string.clickOpensContextMenuKey), false);\r
 314     //if (prefs.getBoolean(getString(R.string.vibrateOnFailedSearchKey), true)) {\r
 315       // vibrator = (Vibrator) getSystemService(Context.VIBRATOR_SERVICE);\r
 316     //}\r
 317     Log.d(LOG, "wordList=" + wordList + ", saveOnlyFirstSubentry=" + saveOnlyFirstSubentry);\r
 318   }\r
 319   \r
 320   @Override\r
 321   protected void onResume() {\r
 322     super.onResume();\r
 323     if (PreferenceActivity.prefsMightHaveChanged) {\r
 324       PreferenceActivity.prefsMightHaveChanged = false;\r
 325       finish();\r
 326       startActivity(getIntent());\r
 327     }\r
 328   }\r
 329   \r
 330   @Override\r
 331   protected void onPause() {\r
 332     super.onPause();\r
 333   }\r
 334 \r
 335   @Override\r
 336   protected void onDestroy() {\r
 337     super.onDestroy();\r
 338     if (dictRaf == null) {\r
 339       return;\r
 340     }\r
 341     setDictionaryPrefs(this, dictIndex, indexIndex, searchText.getText().toString());\r
 342     \r
 343     // Before we close the RAF, we have to wind the current search down.\r
 344     if (currentSearchOperation != null) {\r
 345       Log.d(LOG, "Interrupting search to shut down.");\r
 346       final SearchOperation searchOperation = currentSearchOperation;\r
 347       currentSearchOperation = null;\r
 348       searchOperation.interrupted.set(true);\r
 349       synchronized (searchOperation) {\r
 350         while (!searchOperation.done) {\r
 351           try {\r
 352             searchOperation.wait();\r
 353           } catch (InterruptedException e) {\r
 354             Log.d(LOG, "Interrupted.", e);\r
 355           }\r
 356         }\r
 357       }\r
 358     }\r
 359     \r
 360     try {\r
 361       Log.d(LOG, "Closing RAF.");\r
 362       dictRaf.close();\r
 363     } catch (IOException e) {\r
 364       Log.e(LOG, "Failed to close dictionary", e);\r
 365     }\r
 366     dictRaf = null;\r
 367   }\r
 368 \r
 369   // --------------------------------------------------------------------------\r
 370   // Buttons\r
 371   // --------------------------------------------------------------------------\r
 372 \r
 373   private void onClearSearchTextButton(final Button clearSearchTextButton) {\r
 374     clearSearchTextButton.requestFocus();\r
 375     searchText.setText("");\r
 376     searchText.requestFocus();\r
 377     Log.d(LOG, "Trying to show soft keyboard.");\r
 378     final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);\r
 379     manager.showSoftInput(searchText, InputMethodManager.SHOW_FORCED);\r
 380   }\r
 381   \r
 382   void updateLangButton() {\r
 383     langButton.setText(index.shortName);\r
 384   }\r
 385 \r
 386   void onLanguageButton() {\r
 387     if (currentSearchOperation != null) {\r
 388       currentSearchOperation.interrupted.set(true);\r
 389       currentSearchOperation = null;\r
 390     }\r
 391     \r
 392     changeIndex((indexIndex + 1)% dictionary.indices.size());\r
 393     onSearchTextChange(searchText.getText().toString());\r
 394   }\r
 395   \r
 396   static class OpenIndexButton extends Button implements OnClickListener {\r
 397 \r
 398     final Activity activity;\r
 399     final int dictionaryIndex;\r
 400     final int indexIndex;\r
 401 \r
 402     public OpenIndexButton(final Context context, final Activity activity, final String text, final int dictionaryIndex, final int indexIndex) {\r
 403       super(context);\r
 404       this.activity = activity;\r
 405       this.dictionaryIndex = dictionaryIndex;\r
 406       this.indexIndex = indexIndex;\r
 407       setOnClickListener(this);\r
 408       setText(text, BufferType.NORMAL);\r
 409     }\r
 410 \r
 411     @Override\r
 412     public void onClick(View v) {\r
 413       activity.finish();\r
 414       getContext().startActivity(DictionaryActivity.getIntent(getContext(), dictionaryIndex, indexIndex, ""));\r
 415     }\r
 416     \r
 417   }\r
 418 \r
 419   void onLanguageButtonLongClick() {\r
 420     Context mContext = getApplicationContext();\r
 421     Dialog dialog = new Dialog(mContext);\r
 422     \r
 423     dialog.setContentView(R.layout.select_dictionary_dialog);\r
 424     dialog.setTitle(R.string.selectADictionary);\r
 425 \r
 426     ListView listView = (ListView) dialog.findViewById(android.R.id.list);\r
 427 \r
 428     QuickDicConfig quickDicConfig = PersistentObjectCache.init(\r
 429         this).read(C.DICTIONARY_CONFIGS, QuickDicConfig.class);\r
 430     final List<DictionaryInfo> dictionaryInfos = new ArrayList<DictionaryInfo>();\r
 431     for (final DictionaryInfo dictionaryInfo : quickDicConfig.dictionaryInfos) {\r
 432       if (new File(dictionaryInfo.localFile).canRead()) {\r
 433         dictionaryInfos.add(dictionaryInfo);\r
 434       }\r
 435     }\r
 436     listView.setAdapter(new BaseAdapter() {\r
 437       \r
 438       @Override\r
 439       public View getView(int position, View convertView, ViewGroup parent) {\r
 440         final LinearLayout result = new LinearLayout(parent.getContext());\r
 441         result.addView(new Butt)\r
 442       }\r
 443       \r
 444       @Override\r
 445       public long getItemId(int position) {\r
 446         return position;\r
 447       }\r
 448       \r
 449       @Override\r
 450       public Object getItem(int position) {\r
 451         return dictionaryInfos.get(position);\r
 452       }\r
 453       \r
 454       @Override\r
 455       public int getCount() {\r
 456         return dictionaryInfos.size();\r
 457       }\r
 458     });\r
 459   }\r
 460 \r
 461 \r
 462   private void changeIndex(final int newIndex) {\r
 463     indexIndex = newIndex;\r
 464     index = dictionary.indices.get(indexIndex);\r
 465     indexAdapter = new IndexAdapter(index);\r
 466     Log.d(LOG, "changingIndex, newLang=" + index.longName);\r
 467     setListAdapter(indexAdapter);\r
 468     updateLangButton();\r
 469   }\r
 470   \r
 471   void onUpDownButton(final boolean up) {\r
 472     final int firstVisibleRow = getListView().getFirstVisiblePosition();\r
 473     final RowBase row = index.rows.get(firstVisibleRow);\r
 474     final TokenRow tokenRow = row.getTokenRow(true);\r
 475     final int destIndexEntry;\r
 476     if (up) {\r
 477       if (row != tokenRow) {\r
 478         destIndexEntry = tokenRow.referenceIndex;\r
 479       } else {\r
 480         destIndexEntry = Math.max(tokenRow.referenceIndex - 1, 0);\r
 481       }\r
 482     } else {\r
 483       // Down\r
 484       destIndexEntry = Math.min(tokenRow.referenceIndex + 1, index.sortedIndexEntries.size());\r
 485     }\r
 486     final Index.IndexEntry dest = index.sortedIndexEntries.get(destIndexEntry);\r
 487     Log.d(LOG, "onUpDownButton, destIndexEntry=" + dest.token);\r
 488     searchText.removeTextChangedListener(searchTextWatcher);\r
 489     searchText.setText(dest.token);\r
 490     jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);\r
 491     searchText.addTextChangedListener(searchTextWatcher);\r
 492   }\r
 493 \r
 494   // --------------------------------------------------------------------------\r
 495   // Options Menu\r
 496   // --------------------------------------------------------------------------\r
 497   \r
 498   @Override\r
 499   public boolean onCreateOptionsMenu(final Menu menu) {\r
 500     \r
 501     {\r
 502       final MenuItem preferences = menu.add(getString(R.string.preferences));\r
 503       preferences.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 504         public boolean onMenuItemClick(final MenuItem menuItem) {\r
 505           PreferenceActivity.prefsMightHaveChanged = true;\r
 506           startActivity(new Intent(DictionaryActivity.this,\r
 507               PreferenceActivity.class));\r
 508           return false;\r
 509         }\r
 510       });\r
 511     }\r
 512 \r
 513     {\r
 514       final MenuItem dictionaryList = menu.add(getString(R.string.dictionaryManager));\r
 515       dictionaryList.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 516         public boolean onMenuItemClick(final MenuItem menuItem) {\r
 517           startActivity(DictionaryManagerActivity.getIntent(DictionaryActivity.this));\r
 518           finish();\r
 519           return false;\r
 520         }\r
 521       });\r
 522     }\r
 523 \r
 524     {\r
 525       final MenuItem about = menu.add(getString(R.string.about));\r
 526       about.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 527         public boolean onMenuItemClick(final MenuItem menuItem) {\r
 528           final Intent intent = new Intent().setClassName(AboutActivity.class\r
 529               .getPackage().getName(), AboutActivity.class.getCanonicalName());\r
 530           startActivity(intent);\r
 531           return false;\r
 532         }\r
 533       });\r
 534     }\r
 535 \r
 536     return true;\r
 537   }\r
 538 \r
 539 \r
 540   // --------------------------------------------------------------------------\r
 541   // Context Menu + clicks\r
 542   // --------------------------------------------------------------------------\r
 543 \r
 544   @Override\r
 545   public void onCreateContextMenu(ContextMenu menu, View v,\r
 546       ContextMenuInfo menuInfo) {\r
 547     AdapterContextMenuInfo adapterContextMenuInfo = (AdapterContextMenuInfo) menuInfo;\r
 548     final RowBase row = (RowBase) getListAdapter().getItem(adapterContextMenuInfo.position);\r
 549 \r
 550     final MenuItem addToWordlist = menu.add(getString(R.string.addToWordList, wordList.getName()));\r
 551     addToWordlist.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 552       public boolean onMenuItemClick(MenuItem item) {\r
 553         onAppendToWordList(row);\r
 554         return false;\r
 555       }\r
 556     });\r
 557 \r
 558     final MenuItem copy = menu.add(android.R.string.copy);\r
 559     copy.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 560       public boolean onMenuItemClick(MenuItem item) {\r
 561         onCopy(row);\r
 562         return false;\r
 563       }\r
 564     });\r
 565     \r
 566     if (selectedSpannableText != null) {\r
 567       final String selectedText = selectedSpannableText;\r
 568       final MenuItem searchForSelection = menu.add(getString(R.string.searchForSelection, selectedSpannableText));\r
 569       searchForSelection.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 570         public boolean onMenuItemClick(MenuItem item) {\r
 571           if (indexIndex != selectedSpannableIndex) {\r
 572             changeIndex(selectedSpannableIndex);\r
 573           }\r
 574           searchText.setText(selectedText);\r
 575           return false;\r
 576         }\r
 577       });\r
 578     }\r
 579     \r
 580 \r
 581   }\r
 582   \r
 583   @Override\r
 584   protected void onListItemClick(ListView l, View v, int row, long id) {\r
 585     defocusSearchText();\r
 586     \r
 587     if (clickOpensContextMenu && dictRaf != null) {\r
 588       openContextMenu(v);\r
 589     }\r
 590   }\r
 591   \r
 592   void onAppendToWordList(final RowBase row) {\r
 593     defocusSearchText();\r
 594     \r
 595     final StringBuilder rawText = new StringBuilder();\r
 596     rawText.append(\r
 597         new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date()))\r
 598         .append("\t");\r
 599     rawText.append(index.longName).append("\t");\r
 600     rawText.append(row.getTokenRow(true).getToken()).append("\t");\r
 601     rawText.append(row.getRawText(saveOnlyFirstSubentry));\r
 602     Log.d(LOG, "Writing : " + rawText);\r
 603 \r
 604     try {\r
 605       wordList.getParentFile().mkdirs();\r
 606       final PrintWriter out = new PrintWriter(\r
 607           new FileWriter(wordList, true));\r
 608       out.println(rawText.toString());\r
 609       out.close();\r
 610     } catch (IOException e) {\r
 611       Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);\r
 612       Toast.makeText(this, getString(R.string.failedAddingToWordList, wordList.getAbsolutePath()), Toast.LENGTH_LONG);\r
 613     }\r
 614     return;\r
 615   }\r
 616   \r
 617   /**\r
 618    * Called when user clicks outside of search text, so that they can start\r
 619    * typing again immediately.\r
 620    */\r
 621   void defocusSearchText() {\r
 622     //Log.d(LOG, "defocusSearchText");\r
 623     // Request focus so that if we start typing again, it clears the text input.\r
 624     getListView().requestFocus();\r
 625     \r
 626     // Visual indication that a new keystroke will clear the search text.\r
 627     searchText.selectAll();\r
 628   }\r
 629 \r
 630   void onCopy(final RowBase row) {\r
 631     defocusSearchText();\r
 632 \r
 633     Log.d(LOG, "Copy, row=" + row);\r
 634     final StringBuilder result = new StringBuilder();\r
 635     result.append(row.getRawText(false));\r
 636     final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);\r
 637     clipboardManager.setText(result.toString());\r
 638     Log.d(LOG, "Copied: " + result);\r
 639   }\r
 640 \r
 641   @Override\r
 642   public boolean onKeyDown(final int keyCode, final KeyEvent event) {\r
 643     if (event.getUnicodeChar() != 0) {\r
 644       if (!searchText.hasFocus()) {\r
 645         searchText.setText("" + (char) event.getUnicodeChar());\r
 646         onSearchTextChange(searchText.getText().toString());\r
 647         searchText.requestFocus();\r
 648         Selection.moveToRightEdge(searchText.getText(), searchText.getLayout());\r
 649       }\r
 650       return true;\r
 651     }\r
 652     if (keyCode == KeyEvent.KEYCODE_BACK) {\r
 653       Log.d(LOG, "Clearing dictionary prefs.");\r
 654       DictionaryActivity.clearDictionaryPrefs(this);\r
 655     }\r
 656     if (keyCode == KeyEvent.KEYCODE_ENTER) {\r
 657       Log.d(LOG, "Trying to hide soft keyboard.");\r
 658       final InputMethodManager inputManager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);\r
 659       inputManager.hideSoftInputFromWindow(this.getCurrentFocus().getWindowToken(), InputMethodManager.HIDE_NOT_ALWAYS);\r
 660       return true;\r
 661     }\r
 662     return super.onKeyDown(keyCode, event);\r
 663   }\r
 664 \r
 665 \r
 666   // --------------------------------------------------------------------------\r
 667   // SearchOperation\r
 668   // --------------------------------------------------------------------------\r
 669 \r
 670   private void searchFinished(final SearchOperation searchOperation) {\r
 671     if (searchOperation.interrupted.get()) {\r
 672       Log.d(LOG, "Search operation was interrupted: " + searchOperation);\r
 673       return;\r
 674     }\r
 675     if (searchOperation != this.currentSearchOperation) {\r
 676       Log.d(LOG, "Stale searchOperation finished: " + searchOperation);\r
 677       return;\r
 678     }\r
 679     \r
 680     final Index.IndexEntry searchResult = searchOperation.searchResult;\r
 681     Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);\r
 682 \r
 683     currentSearchOperation = null;\r
 684 \r
 685     uiHandler.postDelayed(new Runnable() {\r
 686       @Override\r
 687       public void run() {\r
 688         if (currentSearchOperation == null) {\r
 689           jumpToRow(searchResult.startRow);\r
 690         } else {\r
 691           Log.d(LOG, "More coming, waiting for currentSearchOperation.");\r
 692         }\r
 693       }\r
 694     }, 50);\r
 695     \r
 696 //    if (!searchResult.success) {\r
 697 //      if (vibrator != null) {\r
 698 //        vibrator.vibrate(VIBRATE_MILLIS);\r
 699 //      }\r
 700 //      searchText.setText(searchResult.longestPrefixString);\r
 701 //      searchText.setSelection(searchResult.longestPrefixString.length());\r
 702 //      return;\r
 703 //    }\r
 704     \r
 705   }\r
 706   \r
 707   private final void jumpToRow(final int row) {\r
 708     setSelection(row);\r
 709     getListView().setSelected(true);\r
 710   }\r
 711 \r
 712   final class SearchOperation implements Runnable {\r
 713     \r
 714     final AtomicBoolean interrupted = new AtomicBoolean(false);\r
 715     final String searchText;\r
 716     final Index index;\r
 717     \r
 718     long searchStartMillis;\r
 719 \r
 720     Index.IndexEntry searchResult;\r
 721     \r
 722     boolean done = false;\r
 723     \r
 724     SearchOperation(final String searchText, final Index index) {\r
 725       this.searchText = searchText.trim();\r
 726       this.index = index;\r
 727     }\r
 728     \r
 729     public String toString() {\r
 730       return String.format("SearchOperation(%s,%s)", searchText, interrupted.toString());\r
 731     }\r
 732 \r
 733     @Override\r
 734     public void run() {\r
 735       try {\r
 736         searchStartMillis = System.currentTimeMillis();\r
 737         searchResult = index.findInsertionPoint(searchText, interrupted);\r
 738         Log.d(LOG, "searchText=" + searchText + ", searchDuration="\r
 739             + (System.currentTimeMillis() - searchStartMillis) + ", interrupted="\r
 740             + interrupted.get());\r
 741         if (!interrupted.get()) {\r
 742           uiHandler.post(new Runnable() {\r
 743             @Override\r
 744             public void run() {            \r
 745               searchFinished(SearchOperation.this);\r
 746             }\r
 747           });\r
 748         }\r
 749       } finally {\r
 750         synchronized (this) {\r
 751           done = true;\r
 752           this.notifyAll();\r
 753         }\r
 754       }\r
 755     }\r
 756   }\r
 757 \r
 758   \r
 759   // --------------------------------------------------------------------------\r
 760   // IndexAdapter\r
 761   // --------------------------------------------------------------------------\r
 762 \r
 763   final class IndexAdapter extends BaseAdapter {\r
 764     \r
 765     final Index index;\r
 766 \r
 767     IndexAdapter(final Index index) {\r
 768       this.index = index;\r
 769     }\r
 770 \r
 771     @Override\r
 772     public int getCount() {\r
 773       return index.rows.size();\r
 774     }\r
 775 \r
 776     @Override\r
 777     public RowBase getItem(int position) {\r
 778       return index.rows.get(position);\r
 779     }\r
 780 \r
 781     @Override\r
 782     public long getItemId(int position) {\r
 783       return getItem(position).index();\r
 784     }\r
 785 \r
 786     @Override\r
 787     public View getView(int position, final View convertView, ViewGroup parent) {\r
 788       final RowBase row = index.rows.get(position);\r
 789       if (row instanceof PairEntry.Row) {\r
 790         return getView((PairEntry.Row) row, parent, convertView);\r
 791       } else if (row instanceof TokenRow) {\r
 792         return getView((TokenRow) row, parent, convertView);\r
 793       } else {\r
 794         throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());\r
 795       }\r
 796     }\r
 797 \r
 798     private View getView(PairEntry.Row row, ViewGroup parent, final View convertView) {\r
 799       final TableLayout result = new TableLayout(parent.getContext());\r
 800       final PairEntry entry = row.getEntry();\r
 801       final int rowCount = entry.pairs.size();\r
 802       for (int r = 0; r < rowCount; ++r) {\r
 803         final TableRow tableRow = new TableRow(result.getContext());\r
 804 \r
 805         final TextView col1 = new TextView(tableRow.getContext());\r
 806         final TextView col2 = new TextView(tableRow.getContext());\r
 807         final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();\r
 808         layoutParams.weight = 0.5f;\r
 809 \r
 810         // Set the columns in the table.\r
 811         if (r > 0) {\r
 812           final TextView bullet = new TextView(tableRow.getContext());\r
 813           bullet.setText(" • ");\r
 814           tableRow.addView(bullet);\r
 815         }\r
 816         tableRow.addView(col1, layoutParams);\r
 817         final TextView margin = new TextView(tableRow.getContext());\r
 818         margin.setText(" ");\r
 819         tableRow.addView(margin);\r
 820         if (r > 0) {\r
 821           final TextView bullet = new TextView(tableRow.getContext());\r
 822           bullet.setText(" • ");\r
 823           tableRow.addView(bullet);\r
 824         }\r
 825         tableRow.addView(col2, layoutParams);\r
 826         col1.setWidth(1);\r
 827         col2.setWidth(1);\r
 828         \r
 829         // Set what's in the columns.\r
 830 \r
 831         // TODO: color words by gender\r
 832         final Pair pair = entry.pairs.get(r);\r
 833         final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;\r
 834         final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;\r
 835         \r
 836         col1.setText(col1Text, TextView.BufferType.SPANNABLE);\r
 837         col2.setText(col2Text, TextView.BufferType.SPANNABLE);\r
 838         \r
 839         // Bold the token instances in col1.\r
 840         final Spannable col1Spannable = (Spannable) col1.getText();\r
 841         int startPos = 0;\r
 842         final String token = row.getTokenRow(true).getToken();\r
 843         while ((startPos = col1Text.indexOf(token, startPos)) != -1) {\r
 844           col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos,\r
 845               startPos + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);\r
 846           startPos += token.length();\r
 847         }\r
 848         \r
 849         createTokenLinkSpans(col1, col1Spannable, col1Text);\r
 850         createTokenLinkSpans(col2, (Spannable) col2.getText(), col2Text);\r
 851         \r
 852         col1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
 853         col2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
 854         // col2.setBackgroundResource(theme.otherLangBg);\r
 855         \r
 856         if (index.swapPairEntries) {\r
 857           col2.setOnLongClickListener(textViewLongClickListenerIndex0);\r
 858           col1.setOnLongClickListener(textViewLongClickListenerIndex1);\r
 859         } else {\r
 860           col1.setOnLongClickListener(textViewLongClickListenerIndex0);\r
 861           col2.setOnLongClickListener(textViewLongClickListenerIndex1);\r
 862         }\r
 863         \r
 864         result.addView(tableRow);\r
 865       }\r
 866 \r
 867       return result;\r
 868 \r
 869       \r
 870 //      final WebView result = (WebView) (convertView instanceof WebView ? convertView : new WebView(parent.getContext()));\r
 871 //        \r
 872 //      final PairEntry entry = row.getEntry();\r
 873 //      final int rowCount = entry.pairs.size();\r
 874 //      final StringBuilder html = new StringBuilder();\r
 875 //      html.append("<html><body><table width=\"100%\">");\r
 876 //      for (int r = 0; r < rowCount; ++r) {\r
 877 //        html.append("<tr>");\r
 878 //\r
 879 //        final Pair pair = entry.pairs.get(r);\r
 880 //        // TODO: escape both the token and the text.\r
 881 //        final String token = row.getTokenRow(true).getToken();\r
 882 //        final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;\r
 883 //        final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;\r
 884 //        \r
 885 //        col1Text.replaceAll(token, String.format("<b>%s</b>", token));\r
 886 //\r
 887 //        // Column1\r
 888 //        html.append("<td width=\"50%\">");\r
 889 //        if (r > 0) {\r
 890 //          html.append("<li>");\r
 891 //        }\r
 892 //        html.append(col1Text);\r
 893 //        html.append("</td>");\r
 894 //\r
 895 //        // Column2\r
 896 //        html.append("<td width=\"50%\">");\r
 897 //        if (r > 0) {\r
 898 //          html.append("<li>");\r
 899 //        }\r
 900 //        html.append(col2Text);\r
 901 //        html.append("</td>");\r
 902 //\r
 903 ////        column1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
 904 ////        column2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
 905 //\r
 906 //        html.append("</tr>");\r
 907 //      }\r
 908 //      html.append("</table></body></html>");\r
 909 //      \r
 910 //      Log.i(LOG, html.toString());\r
 911 //      \r
 912 //      result.getSettings().setRenderPriority(RenderPriority.HIGH);\r
 913 //      result.getSettings().setCacheMode(WebSettings.LOAD_NO_CACHE);\r
 914 //      \r
 915 //      result.loadData("<html><body><table><tr><td>line (connected series of public conveyances, and hence, an established arrangement for forwarding merchandise, etc.) (noun)</td><td>verbinding</td></tr></table></body></html>", "text/html", "utf-8");\r
 916 //\r
 917 //      return result;\r
 918     }\r
 919 \r
 920     private View getView(TokenRow row, ViewGroup parent, final View convertView) {\r
 921       final Context context = parent.getContext();\r
 922       final TextView textView = new TextView(context);\r
 923       textView.setText(row.getToken());\r
 924       textView.setBackgroundResource(row.hasMainEntry ? theme.tokenRowMainBg : theme.tokenRowOtherBg);\r
 925       // Doesn't work:\r
 926       //textView.setTextColor(android.R.color.secondary_text_light);\r
 927       textView.setTextAppearance(context, theme.tokenRowFg);\r
 928       textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, 5 * fontSizeSp / 4);\r
 929       return textView;\r
 930     }\r
 931     \r
 932   }\r
 933 \r
 934   static final Pattern CHAR_DASH = Pattern.compile("['\\p{L}0-9]+");\r
 935 \r
 936   private void createTokenLinkSpans(final TextView textView, final Spannable spannable, final String text) {\r
 937     // Saw from the source code that LinkMovementMethod sets the selection!\r
 938     // http://grepcode.com/file/repository.grepcode.com/java/ext/com.google.android/android/2.3.1_r1/android/text/method/LinkMovementMethod.java#LinkMovementMethod\r
 939     textView.setMovementMethod(LinkMovementMethod.getInstance());\r
 940     final Matcher matcher = CHAR_DASH.matcher(text);\r
 941     while (matcher.find()) {\r
 942       spannable.setSpan(new MyClickableSpan(), matcher.start(), matcher.end(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);\r
 943     }\r
 944   }\r
 945   \r
 946 \r
 947   String selectedSpannableText = null;\r
 948   int selectedSpannableIndex = -1;\r
 949 \r
 950   @Override\r
 951   public boolean onTouchEvent(MotionEvent event) {\r
 952     selectedSpannableText = null;\r
 953     selectedSpannableIndex = -1;\r
 954     return super.onTouchEvent(event);\r
 955   }\r
 956 \r
 957   private class TextViewLongClickListener implements OnLongClickListener {\r
 958     final int index;\r
 959     \r
 960     private TextViewLongClickListener(final int index) {\r
 961       this.index = index;\r
 962     }\r
 963 \r
 964     @Override\r
 965     public boolean onLongClick(final View v) {\r
 966       final TextView textView = (TextView) v;\r
 967       final int start = textView.getSelectionStart();\r
 968       final int end = textView.getSelectionEnd();\r
 969       if (start >= 0 &&  end >= 0) {\r
 970         selectedSpannableText = textView.getText().subSequence(start, end).toString();\r
 971         selectedSpannableIndex = index;\r
 972       }\r
 973       return false;\r
 974     }\r
 975   }\r
 976   final TextViewLongClickListener textViewLongClickListenerIndex0 = new TextViewLongClickListener(0);\r
 977   final TextViewLongClickListener textViewLongClickListenerIndex1 = new TextViewLongClickListener(1);\r
 978   \r
 979 \r
 980   // --------------------------------------------------------------------------\r
 981   // SearchText\r
 982   // --------------------------------------------------------------------------\r
 983 \r
 984   void onSearchTextChange(final String text) {\r
 985     if (dictRaf == null) {\r
 986       Log.d(LOG, "searchText changed during shutdown, doing nothing.");\r
 987       return;\r
 988     }\r
 989     if (!searchText.isFocused()) {\r
 990       Log.d(LOG, "searchText changed without focus, doing nothing.");\r
 991       return;\r
 992     }\r
 993     Log.d(LOG, "onSearchTextChange: " + text);    \r
 994     if (currentSearchOperation != null) {\r
 995       Log.d(LOG, "Interrupting currentSearchOperation.");\r
 996       currentSearchOperation.interrupted.set(true);\r
 997     }\r
 998     currentSearchOperation = new SearchOperation(text, index);\r
 999     searchExecutor.execute(currentSearchOperation);\r
1000   }\r
1001   \r
1002   private class SearchTextWatcher implements TextWatcher {\r
1003     public void afterTextChanged(final Editable searchTextEditable) {\r
1004       if (searchText.hasFocus()) {\r
1005         Log.d(LOG, "Search text changed with focus: " + searchText.getText());\r
1006         // If they were typing to cause the change, update the UI.\r
1007         onSearchTextChange(searchText.getText().toString());\r
1008       }\r
1009     }\r
1010 \r
1011     public void beforeTextChanged(CharSequence arg0, int arg1, int arg2,\r
1012         int arg3) {\r
1013     }\r
1014 \r
1015     public void onTextChanged(CharSequence arg0, int arg1, int arg2, int arg3) {\r
1016     }\r
1017   }\r
1018 \r
1019 }\r