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