]> gitweb.fperrin.net Git - Dictionary.git/blob - src/com/hughes/android/dictionary/DictionaryActivity.java
afca2b59e7aa84fa69094fe6386ba59d03e9b148
[Dictionary.git] / src / com / hughes / android / dictionary / DictionaryActivity.java
1 package com.hughes.android.dictionary;\r
2 \r
3 import java.io.File;\r
4 import java.io.FileWriter;\r
5 import java.io.IOException;\r
6 import java.io.PrintWriter;\r
7 import java.io.RandomAccessFile;\r
8 import java.text.SimpleDateFormat;\r
9 import java.util.Date;\r
10 import java.util.concurrent.Executor;\r
11 import java.util.concurrent.Executors;\r
12 import java.util.concurrent.atomic.AtomicBoolean;\r
13 \r
14 import android.app.ListActivity;\r
15 import android.content.Context;\r
16 import android.content.Intent;\r
17 import android.content.SharedPreferences;\r
18 import android.graphics.Typeface;\r
19 import android.os.Bundle;\r
20 import android.os.Handler;\r
21 import android.os.Vibrator;\r
22 import android.preference.PreferenceManager;\r
23 import android.text.ClipboardManager;\r
24 import android.text.Editable;\r
25 import android.text.Spannable;\r
26 import android.text.TextWatcher;\r
27 import android.text.style.StyleSpan;\r
28 import android.util.Log;\r
29 import android.view.ContextMenu;\r
30 import android.view.KeyEvent;\r
31 import android.view.Menu;\r
32 import android.view.MenuItem;\r
33 import android.view.View;\r
34 import android.view.ViewGroup;\r
35 import android.view.ContextMenu.ContextMenuInfo;\r
36 import android.view.MenuItem.OnMenuItemClickListener;\r
37 import android.view.View.OnClickListener;\r
38 import android.view.inputmethod.InputMethodManager;\r
39 import android.widget.AdapterView;\r
40 import android.widget.BaseAdapter;\r
41 import android.widget.Button;\r
42 import android.widget.EditText;\r
43 import android.widget.ListAdapter;\r
44 import android.widget.ListView;\r
45 import android.widget.TableLayout;\r
46 import android.widget.TableRow;\r
47 import android.widget.TextView;\r
48 import android.widget.Toast;\r
49 import android.widget.AdapterView.AdapterContextMenuInfo;\r
50 \r
51 import com.hughes.android.dictionary.engine.Dictionary;\r
52 import com.hughes.android.dictionary.engine.Index;\r
53 import com.hughes.android.dictionary.engine.PairEntry;\r
54 import com.hughes.android.dictionary.engine.RowBase;\r
55 import com.hughes.android.dictionary.engine.TokenRow;\r
56 import com.hughes.android.util.PersistentObjectCache;\r
57 \r
58 public class DictionaryActivity extends ListActivity {\r
59 \r
60   static final String LOG = "QuickDic";\r
61   \r
62   static final int VIBRATE_MILLIS = 100;\r
63 \r
64   int dictIndex = 0;\r
65   RandomAccessFile dictRaf = null;\r
66   Dictionary dictionary = null;\r
67   int indexIndex = 0;\r
68   Index index = null;\r
69   \r
70   // package for test.\r
71   final Handler uiHandler = new Handler();\r
72   private final Executor searchExecutor = Executors.newSingleThreadExecutor();\r
73   private SearchOperation currentSearchOperation = null;\r
74 \r
75   EditText searchText;\r
76   Button langButton;\r
77 \r
78   // Never null.\r
79   private File wordList = null;\r
80   private boolean saveOnlyFirstSubentry = false;\r
81 \r
82   // Visible for testing.\r
83   ListAdapter indexAdapter = null;\r
84 \r
85   private Vibrator vibrator = null;\r
86   \r
87   public DictionaryActivity() {\r
88   }\r
89   \r
90   public static Intent getIntent(final Context context, final int dictIndex, final int indexIndex, final String searchToken) {\r
91     setDictionaryPrefs(context, dictIndex, indexIndex, searchToken);\r
92     \r
93     final Intent intent = new Intent();\r
94     intent.setClassName(DictionaryActivity.class.getPackage().getName(), DictionaryActivity.class.getName());\r
95     return intent;\r
96   }\r
97 \r
98   public static void setDictionaryPrefs(final Context context,\r
99       final int dictIndex, final int indexIndex, final String searchToken) {\r
100     final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
101     prefs.putInt(C.DICT_INDEX, dictIndex);\r
102     prefs.putInt(C.INDEX_INDEX, indexIndex);\r
103     prefs.putString(C.SEARCH_TOKEN, searchToken);\r
104     prefs.commit();\r
105   }\r
106 \r
107   public static void clearDictionaryPrefs(final Context context) {\r
108     final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
109     prefs.remove(C.DICT_INDEX);\r
110     prefs.remove(C.INDEX_INDEX);\r
111     prefs.remove(C.SEARCH_TOKEN);\r
112     prefs.commit();\r
113   }\r
114 \r
115   @Override\r
116   public void onCreate(Bundle savedInstanceState) {\r
117     super.onCreate(savedInstanceState);\r
118     \r
119     final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);\r
120     \r
121     try {\r
122       PersistentObjectCache.init(this);\r
123       QuickDicConfig quickDicConfig = PersistentObjectCache.init(\r
124           this).read(C.DICTIONARY_CONFIGS, QuickDicConfig.class);\r
125       dictIndex = prefs.getInt(C.DICT_INDEX, 0) ;\r
126       final DictionaryConfig dictionaryConfig = quickDicConfig.dictionaryConfigs.get(dictIndex);\r
127       dictRaf = new RandomAccessFile(dictionaryConfig.localFile, "r");\r
128       dictionary = new Dictionary(dictRaf); \r
129     } catch (Exception e) {\r
130       Log.e(LOG, "Unable to load dictionary.", e);\r
131       Toast.makeText(this, getString(R.string.invalidDictionary, "", e.getMessage()), Toast.LENGTH_LONG);\r
132       startActivity(DictionaryEditActivity.getIntent(dictIndex));\r
133       finish();\r
134       return;\r
135     }\r
136 \r
137     // Pre-load the collators.\r
138     searchExecutor.execute(new Runnable() {\r
139       public void run() {\r
140         final long startMillis = System.currentTimeMillis();\r
141         for (final Index index : dictionary.indices) {\r
142           index.sortLanguage.getFindCollator();\r
143           final com.ibm.icu.text.Collator c = index.sortLanguage\r
144               .getSortCollator();\r
145           if (c.compare("pre-print", "preppy") >= 0) {\r
146             Log.e(LOG, c.getClass()\r
147                 + " is buggy, lookups may not work properly.");\r
148           }\r
149         }\r
150         Log.d(LOG, "Loading collators took:"\r
151             + (System.currentTimeMillis() - startMillis));\r
152       }\r
153     });\r
154     \r
155     indexIndex = prefs.getInt(C.INDEX_INDEX, 0) % dictionary.indices.size();\r
156     index = dictionary.indices.get(indexIndex);\r
157     setListAdapter(new IndexAdapter(index));\r
158     \r
159     setContentView(R.layout.dictionary_activity);\r
160     searchText = (EditText) findViewById(R.id.SearchText);\r
161     langButton = (Button) findViewById(R.id.LangButton);\r
162     \r
163     searchText.requestFocus();\r
164     searchText.addTextChangedListener(new SearchTextWatcher());\r
165     searchText.setText(prefs.getString(C.SEARCH_TOKEN, ""));\r
166     Log.d(LOG, "Trying to restore searchText=" + searchText.getText());\r
167     \r
168     final Button clearSearchTextButton = (Button) findViewById(R.id.ClearSearchTextButton);\r
169     clearSearchTextButton.setOnClickListener(new OnClickListener() {\r
170       public void onClick(View v) {\r
171         onClearSearchTextButton(clearSearchTextButton);\r
172       }\r
173     });\r
174     clearSearchTextButton.setVisibility(PreferenceManager.getDefaultSharedPreferences(this).getBoolean(\r
175         getString(R.string.showClearSearchTextButtonKey), true) ? View.VISIBLE\r
176         : View.GONE);\r
177     \r
178     final Button langButton = (Button) findViewById(R.id.LangButton);\r
179     langButton.setOnClickListener(new OnClickListener() {\r
180       public void onClick(View v) {\r
181         onLanguageButton();\r
182       }\r
183     });\r
184     updateLangButton();\r
185     \r
186     final Button upButton = (Button) findViewById(R.id.UpButton);\r
187     upButton.setOnClickListener(new OnClickListener() {\r
188       public void onClick(View v) {\r
189         onUpDownButton(true);\r
190       }\r
191     });\r
192     final Button downButton = (Button) findViewById(R.id.DownButton);\r
193     downButton.setOnClickListener(new OnClickListener() {\r
194       public void onClick(View v) {\r
195         onUpDownButton(false);\r
196       }\r
197     });\r
198 \r
199    getListView().setOnItemSelectedListener(new ListView.OnItemSelectedListener() {\r
200       @Override\r
201       public void onItemSelected(AdapterView<?> adapterView, View arg1, final int position,\r
202           long id) {\r
203         if (!searchText.isFocused()) {\r
204           // TODO: don't do this if multi words are entered.\r
205           final RowBase row = (RowBase) getListAdapter().getItem(position);\r
206           final TokenRow tokenRow = row.getTokenRow(true);\r
207           searchText.setText(tokenRow.getToken());\r
208         }\r
209       }\r
210 \r
211       @Override\r
212       public void onNothingSelected(AdapterView<?> arg0) {\r
213       }\r
214     });\r
215 \r
216     // ContextMenu.\r
217     registerForContextMenu(getListView());\r
218 \r
219     // Prefs.\r
220     wordList = new File(prefs.getString(getString(R.string.wordListFileKey),\r
221         getString(R.string.wordListFileDefault)));\r
222     saveOnlyFirstSubentry = prefs.getBoolean(getString(R.string.saveOnlyFirstSubentryKey), false);\r
223     if (prefs.getBoolean(getString(R.string.vibrateOnFailedSearchKey), true)) {\r
224       vibrator = (Vibrator) getSystemService(Context.VIBRATOR_SERVICE);\r
225     }\r
226     Log.d(LOG, "wordList=" + wordList + ", saveOnlyFirstSubentry=" + saveOnlyFirstSubentry);\r
227   }\r
228   \r
229   \r
230   @Override\r
231   protected void onResume() {\r
232     super.onResume();\r
233   }\r
234 \r
235   @Override\r
236   protected void onPause() {\r
237     super.onPause();\r
238   }\r
239 \r
240   @Override\r
241   protected void onDestroy() {\r
242     super.onDestroy();\r
243     setDictionaryPrefs(this, dictIndex, indexIndex, searchText.getText().toString());\r
244     try {\r
245       dictRaf.close();\r
246     } catch (IOException e) {\r
247       Log.e(LOG, "Failed to close dictionary", e);\r
248     }\r
249   }\r
250 \r
251   // --------------------------------------------------------------------------\r
252   // Buttons\r
253   // --------------------------------------------------------------------------\r
254 \r
255   private void onClearSearchTextButton(final Button clearSearchTextButton) {\r
256     clearSearchTextButton.requestFocus();\r
257     searchText.setText("");\r
258     searchText.requestFocus();\r
259     Log.d(LOG, "Trying to show soft keyboard.");\r
260     final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);\r
261     manager.showSoftInput(searchText, InputMethodManager.SHOW_IMPLICIT);\r
262   }\r
263   \r
264   void updateLangButton() {\r
265     langButton.setText(index.shortName.toUpperCase());\r
266   }\r
267 \r
268   void onLanguageButton() {\r
269     if (currentSearchOperation != null) {\r
270       currentSearchOperation.interrupted.set(true);\r
271       currentSearchOperation = null;\r
272     }\r
273     \r
274     indexIndex = (indexIndex + 1) % dictionary.indices.size();\r
275     index = dictionary.indices.get(indexIndex);\r
276     indexAdapter = new IndexAdapter(index);\r
277     Log.d(LOG, "onLanguageButton, newLang=" + index.longName);\r
278     setListAdapter(indexAdapter);\r
279     updateLangButton();\r
280     onSearchTextChange(searchText.getText().toString());\r
281   }\r
282   \r
283   void onUpDownButton(final boolean up) {\r
284     final int firstVisibleRow = getListView().getFirstVisiblePosition();\r
285     final RowBase row = index.rows.get(firstVisibleRow);\r
286     final TokenRow tokenRow = row.getTokenRow(true);\r
287     final int destIndexEntry;\r
288     if (up) {\r
289       if (row != tokenRow) {\r
290         destIndexEntry = tokenRow.referenceIndex;\r
291       } else {\r
292         destIndexEntry = Math.max(tokenRow.referenceIndex - 1, 0);\r
293       }\r
294     } else {\r
295       // Down\r
296       destIndexEntry = Math.min(tokenRow.referenceIndex + 1, index.sortedIndexEntries.size());\r
297     }\r
298     \r
299     final Index.IndexEntry dest = index.sortedIndexEntries.get(destIndexEntry);\r
300     searchText.setText(dest.token);\r
301     Log.d(LOG, "onUpDownButton, destIndexEntry=" + dest.token);\r
302     //jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);\r
303   }\r
304 \r
305   // --------------------------------------------------------------------------\r
306   // Options Menu\r
307   // --------------------------------------------------------------------------\r
308   \r
309   @Override\r
310   public boolean onCreateOptionsMenu(final Menu menu) {\r
311     \r
312     {\r
313     final MenuItem preferences = menu.add(getString(R.string.preferences));\r
314     preferences.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
315       public boolean onMenuItemClick(final MenuItem menuItem) {\r
316         startActivity(new Intent(DictionaryActivity.this,\r
317             PreferenceActivity.class));\r
318         return false;\r
319       }\r
320     });\r
321     }\r
322 \r
323     {\r
324     final MenuItem dictionaryList = menu.add(getString(R.string.dictionaryList));\r
325     dictionaryList.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
326       public boolean onMenuItemClick(final MenuItem menuItem) {\r
327         startActivity(DictionaryListActivity.getIntent(DictionaryActivity.this));\r
328         startActivity(DictionaryListActivity.getIntent(DictionaryActivity.this));\r
329         return false;\r
330       }\r
331     });\r
332     }\r
333 \r
334     {\r
335       final MenuItem dictionaryList = menu.add(getString(R.string.editDictionary));\r
336       dictionaryList.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
337         public boolean onMenuItemClick(final MenuItem menuItem) {\r
338           final Intent intent = DictionaryEditActivity.getIntent(dictIndex);\r
339           startActivity(intent);\r
340           return false;\r
341         }\r
342       });\r
343       }\r
344 \r
345     return true;\r
346   }\r
347 \r
348 \r
349   // --------------------------------------------------------------------------\r
350   // Context Menu + clicks\r
351   // --------------------------------------------------------------------------\r
352 \r
353   @Override\r
354   public void onCreateContextMenu(ContextMenu menu, View v,\r
355       ContextMenuInfo menuInfo) {\r
356     AdapterContextMenuInfo adapterContextMenuInfo = (AdapterContextMenuInfo) menuInfo;\r
357     final RowBase row = (RowBase) getListAdapter().getItem(adapterContextMenuInfo.position);\r
358 \r
359     final MenuItem addToWordlist = menu.add(getString(R.string.addToWordList, wordList.getName()));\r
360     addToWordlist.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
361       public boolean onMenuItemClick(MenuItem item) {\r
362         onAppendToWordList(row);\r
363         return false;\r
364       }\r
365     });\r
366 \r
367     final MenuItem copy = menu.add(android.R.string.copy);\r
368     copy.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
369       public boolean onMenuItemClick(MenuItem item) {\r
370         onCopy(row);\r
371         return false;\r
372       }\r
373     });\r
374 \r
375   }\r
376   \r
377   @Override\r
378   protected void onListItemClick(ListView l, View v, int row, long id) {\r
379     openContextMenu(v);\r
380   }\r
381   \r
382   void onAppendToWordList(final RowBase row) {\r
383     final StringBuilder rawText = new StringBuilder();\r
384     rawText.append(\r
385         new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date()))\r
386         .append("\t");\r
387     rawText.append(index.longName).append("\t");\r
388     rawText.append(row.getTokenRow(true).getToken()).append("\t");\r
389     rawText.append(row.getRawText(saveOnlyFirstSubentry));\r
390     Log.d(LOG, "Writing : " + rawText);\r
391     try {\r
392       wordList.getParentFile().mkdirs();\r
393       final PrintWriter out = new PrintWriter(\r
394           new FileWriter(wordList, true));\r
395       out.println(rawText.toString());\r
396       out.close();\r
397     } catch (IOException e) {\r
398       Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);\r
399       Toast.makeText(this, getString(R.string.failedAddingToWordList, wordList.getAbsolutePath()), Toast.LENGTH_LONG);\r
400     }\r
401     return;\r
402   }\r
403 \r
404   void onCopy(final RowBase row) {\r
405     Log.d(LOG, "Copy, row=" + row);\r
406     final StringBuilder result = new StringBuilder();\r
407     result.append(row.getRawText(false));\r
408     final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);\r
409     clipboardManager.setText(result.toString());\r
410     Log.d(LOG, "Copied: " + result);\r
411   }\r
412 \r
413   @Override\r
414   public boolean onKeyDown(final int keyCode, final KeyEvent event) {\r
415     if (event.getUnicodeChar() != 0) {\r
416       if (!searchText.hasFocus()) {\r
417         searchText.setText("" + (char) event.getUnicodeChar());\r
418         onSearchTextChange(searchText.getText().toString());\r
419         searchText.requestFocus();\r
420       }\r
421       return true;\r
422     }\r
423     return super.onKeyDown(keyCode, event);\r
424   }\r
425 \r
426 \r
427   // --------------------------------------------------------------------------\r
428   // SearchOperation\r
429   // --------------------------------------------------------------------------\r
430 \r
431   private void searchFinished(final SearchOperation searchOperation) {\r
432     if (searchOperation.interrupted.get()) {\r
433       Log.d(LOG, "Search operation was interrupted: " + searchOperation);\r
434       return;\r
435     }\r
436     if (searchOperation != this.currentSearchOperation) {\r
437       Log.d(LOG, "Stale searchOperation finished: " + searchOperation);\r
438       return;\r
439     }\r
440     \r
441     final Index.SearchResult searchResult = searchOperation.searchResult;\r
442     Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);\r
443 \r
444     jumpToRow(searchResult.longestPrefix.startRow);\r
445     \r
446     if (!searchResult.success) {\r
447       if (vibrator != null) {\r
448         vibrator.vibrate(VIBRATE_MILLIS);\r
449       }\r
450       searchText.setText(searchResult.longestPrefixString);\r
451       searchText.setSelection(searchResult.longestPrefixString.length());\r
452       return;\r
453     }\r
454   }\r
455   \r
456   private final void jumpToRow(final int row) {\r
457     setSelection(row);\r
458     getListView().setSelected(true);\r
459   }\r
460 \r
461   final class SearchOperation implements Runnable {\r
462     \r
463     final AtomicBoolean interrupted = new AtomicBoolean(false);\r
464     final String searchText;\r
465     final Index index;\r
466     \r
467     long searchStartMillis;\r
468 \r
469     Index.SearchResult searchResult;\r
470     \r
471     SearchOperation(final String searchText, final Index index) {\r
472       this.searchText = searchText.trim();\r
473       this.index = index;\r
474     }\r
475     \r
476     public String toString() {\r
477       return String.format("SearchOperation(%s,%s)", searchText, interrupted.toString());\r
478     }\r
479 \r
480     @Override\r
481     public void run() {\r
482       searchStartMillis = System.currentTimeMillis();\r
483       searchResult = index.findLongestSubstring(searchText, interrupted);\r
484       Log.d(LOG, "searchText=" + searchText + ", searchDuration="\r
485           + (System.currentTimeMillis() - searchStartMillis) + ", interrupted="\r
486           + interrupted.get());\r
487       if (!interrupted.get()) {\r
488         uiHandler.post(new Runnable() {\r
489           @Override\r
490           public void run() {            \r
491             searchFinished(SearchOperation.this);\r
492           }\r
493         });\r
494       }\r
495     }\r
496   }\r
497 \r
498   \r
499   // --------------------------------------------------------------------------\r
500   // IndexAdapter\r
501   // --------------------------------------------------------------------------\r
502 \r
503   static final class IndexAdapter extends BaseAdapter {\r
504     \r
505     final Index index;\r
506 \r
507     IndexAdapter(final Index index) {\r
508       this.index = index;\r
509     }\r
510 \r
511     @Override\r
512     public int getCount() {\r
513       return index.rows.size();\r
514     }\r
515 \r
516     @Override\r
517     public RowBase getItem(int position) {\r
518       return index.rows.get(position);\r
519     }\r
520 \r
521     @Override\r
522     public long getItemId(int position) {\r
523       return getItem(position).index();\r
524     }\r
525 \r
526     @Override\r
527     public View getView(int position, View convertView, ViewGroup parent) {\r
528       final RowBase row = index.rows.get(position);\r
529       if (row instanceof PairEntry.Row) {\r
530         return getView((PairEntry.Row) row, parent);\r
531       } else if (row instanceof TokenRow) {\r
532         return getView((TokenRow) row, parent);\r
533       } else {\r
534         throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());\r
535       }\r
536     }\r
537 \r
538     private View getView(PairEntry.Row row, ViewGroup parent) {\r
539       final TableLayout result = new TableLayout(parent.getContext());\r
540       final PairEntry entry = row.getEntry();\r
541       final int rowCount = entry.pairs.length;\r
542       for (int r = 0; r < rowCount; ++r) {\r
543         final TableRow tableRow = new TableRow(result.getContext());\r
544 \r
545         TextView column1 = new TextView(tableRow.getContext());\r
546         TextView column2 = new TextView(tableRow.getContext());\r
547         final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();\r
548         layoutParams.weight = 0.5f;\r
549 \r
550         if (r > 0) {\r
551           final TextView spacer = new TextView(tableRow.getContext());\r
552           spacer.setText(" • ");\r
553           tableRow.addView(spacer);\r
554         }\r
555         tableRow.addView(column1, layoutParams);\r
556         if (r > 0) {\r
557           final TextView spacer = new TextView(tableRow.getContext());\r
558           spacer.setText(" • ");\r
559           tableRow.addView(spacer);\r
560         }\r
561         tableRow.addView(column2, layoutParams);\r
562 \r
563         column1.setWidth(1);\r
564         column2.setWidth(1);\r
565 \r
566         // TODO: color words by gender\r
567         final String col1Text = index.swapPairEntries ? entry.pairs[r].lang2 : entry.pairs[r].lang1;\r
568         column1.setText(col1Text, TextView.BufferType.SPANNABLE);\r
569         final Spannable col1Spannable = (Spannable) column1.getText();\r
570         \r
571         int startPos = 0;\r
572         final String token = row.getTokenRow(true).getToken();\r
573         while ((startPos = col1Text.indexOf(token, startPos)) != -1) {\r
574           col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos,\r
575               startPos + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);\r
576           startPos += token.length();\r
577         }\r
578 \r
579         final String col2Text = index.swapPairEntries ? entry.pairs[r].lang1 : entry.pairs[r].lang2;\r
580         column2.setText(col2Text, TextView.BufferType.NORMAL);\r
581 \r
582         result.addView(tableRow);\r
583       }\r
584 \r
585       return result;\r
586     }\r
587 \r
588     private View getView(TokenRow row, ViewGroup parent) {\r
589       final TextView textView = new TextView(parent.getContext());\r
590       textView.setText(row.getToken());\r
591       textView.setTextSize(20);\r
592       return textView;\r
593     }\r
594     \r
595   }\r
596 \r
597   // --------------------------------------------------------------------------\r
598   // SearchText\r
599   // --------------------------------------------------------------------------\r
600 \r
601   void onSearchTextChange(final String text) {\r
602     if (!searchText.isFocused()) {\r
603       return;\r
604     }\r
605     Log.d(LOG, "onSearchTextChange: " + text);    \r
606     if (currentSearchOperation != null) {\r
607       Log.d(LOG, "Interrupting currentSearchOperation.");\r
608       currentSearchOperation.interrupted.set(true);\r
609     }\r
610     currentSearchOperation = new SearchOperation(text, index);\r
611     searchExecutor.execute(currentSearchOperation);\r
612   }\r
613   \r
614   private class SearchTextWatcher implements TextWatcher {\r
615     public void afterTextChanged(final Editable searchTextEditable) {\r
616       if (searchText.hasFocus()) {\r
617         Log.d(LOG, "Search text changed with focus: " + searchText.getText());\r
618         // If they were typing to cause the change, update the UI.\r
619         onSearchTextChange(searchText.getText().toString());\r
620       }\r
621     }\r
622 \r
623     public void beforeTextChanged(CharSequence arg0, int arg1, int arg2,\r
624         int arg3) {\r
625     }\r
626 \r
627     public void onTextChanged(CharSequence arg0, int arg1, int arg2, int arg3) {\r
628     }\r
629   }\r
630 \r
631 }\r