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