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