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