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