1 // Copyright 2011 Google Inc. All Rights Reserved.
\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
7 // http://www.apache.org/licenses/LICENSE-2.0
\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
15 package com.hughes.android.dictionary;
\r
17 import java.io.File;
\r
18 import java.io.FileWriter;
\r
19 import java.io.IOException;
\r
20 import java.io.PrintWriter;
\r
21 import java.io.RandomAccessFile;
\r
22 import java.text.SimpleDateFormat;
\r
23 import java.util.Date;
\r
24 import java.util.concurrent.Executor;
\r
25 import java.util.concurrent.Executors;
\r
26 import java.util.concurrent.ThreadFactory;
\r
27 import java.util.concurrent.atomic.AtomicBoolean;
\r
29 import android.app.ListActivity;
\r
30 import android.content.Context;
\r
31 import android.content.Intent;
\r
32 import android.content.SharedPreferences;
\r
33 import android.graphics.Typeface;
\r
34 import android.os.Bundle;
\r
35 import android.os.Handler;
\r
36 import android.preference.PreferenceManager;
\r
37 import android.text.ClipboardManager;
\r
38 import android.text.Editable;
\r
39 import android.text.Spannable;
\r
40 import android.text.TextWatcher;
\r
41 import android.text.style.StyleSpan;
\r
42 import android.util.Log;
\r
43 import android.view.ContextMenu;
\r
44 import android.view.ContextMenu.ContextMenuInfo;
\r
45 import android.view.KeyEvent;
\r
46 import android.view.Menu;
\r
47 import android.view.MenuItem;
\r
48 import android.view.MenuItem.OnMenuItemClickListener;
\r
49 import android.view.View;
\r
50 import android.view.View.OnClickListener;
\r
51 import android.view.ViewGroup;
\r
52 import android.view.inputmethod.InputMethodManager;
\r
53 import android.widget.AdapterView;
\r
54 import android.widget.AdapterView.AdapterContextMenuInfo;
\r
55 import android.widget.BaseAdapter;
\r
56 import android.widget.Button;
\r
57 import android.widget.EditText;
\r
58 import android.widget.ListAdapter;
\r
59 import android.widget.ListView;
\r
60 import android.widget.TableLayout;
\r
61 import android.widget.TableRow;
\r
62 import android.widget.TextView;
\r
63 import android.widget.Toast;
\r
65 import com.hughes.android.dictionary.engine.Dictionary;
\r
66 import com.hughes.android.dictionary.engine.Index;
\r
67 import com.hughes.android.dictionary.engine.PairEntry;
\r
68 import com.hughes.android.dictionary.engine.PairEntry.Pair;
\r
69 import com.hughes.android.dictionary.engine.RowBase;
\r
70 import com.hughes.android.dictionary.engine.TokenRow;
\r
71 import com.hughes.android.dictionary.engine.TransliteratorManager;
\r
72 import com.hughes.android.util.PersistentObjectCache;
\r
74 public class DictionaryActivity extends ListActivity {
\r
76 static final String LOG = "QuickDic";
\r
78 static final int VIBRATE_MILLIS = 100;
\r
81 RandomAccessFile dictRaf = null;
\r
82 Dictionary dictionary = null;
\r
86 // package for test.
\r
87 final Handler uiHandler = new Handler();
\r
88 private final Executor searchExecutor = Executors.newSingleThreadExecutor(new ThreadFactory() {
\r
90 public Thread newThread(Runnable r) {
\r
91 return new Thread(r, "searchExecutor");
\r
94 private SearchOperation currentSearchOperation = null;
\r
96 EditText searchText;
\r
100 private File wordList = null;
\r
101 private boolean saveOnlyFirstSubentry = false;
\r
103 // Visible for testing.
\r
104 ListAdapter indexAdapter = null;
\r
106 final SearchTextWatcher searchTextWatcher = new SearchTextWatcher();
\r
108 //private Vibrator vibrator = null;
\r
110 public DictionaryActivity() {
\r
113 public static Intent getIntent(final Context context, final int dictIndex, final int indexIndex, final String searchToken) {
\r
114 setDictionaryPrefs(context, dictIndex, indexIndex, searchToken);
\r
116 final Intent intent = new Intent();
\r
117 intent.setClassName(DictionaryActivity.class.getPackage().getName(), DictionaryActivity.class.getName());
\r
121 public static void setDictionaryPrefs(final Context context,
\r
122 final int dictIndex, final int indexIndex, final String searchToken) {
\r
123 final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();
\r
124 prefs.putInt(C.DICT_INDEX, dictIndex);
\r
125 prefs.putInt(C.INDEX_INDEX, indexIndex);
\r
126 prefs.putString(C.SEARCH_TOKEN, searchToken);
\r
130 public static void clearDictionaryPrefs(final Context context) {
\r
131 final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();
\r
132 prefs.remove(C.DICT_INDEX);
\r
133 prefs.remove(C.INDEX_INDEX);
\r
134 prefs.remove(C.SEARCH_TOKEN);
\r
136 Log.d(LOG, "Removed default dictionary prefs.");
\r
140 public void onCreate(Bundle savedInstanceState) {
\r
141 ((DictionaryApplication)getApplication()).applyTheme(this);
\r
143 super.onCreate(savedInstanceState);
\r
144 Log.d(LOG, "onCreate:" + this);
\r
146 final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);
\r
149 PersistentObjectCache.init(this);
\r
150 QuickDicConfig quickDicConfig = PersistentObjectCache.init(
\r
151 this).read(C.DICTIONARY_CONFIGS, QuickDicConfig.class);
\r
152 dictIndex = prefs.getInt(C.DICT_INDEX, 0) ;
\r
153 final DictionaryConfig dictionaryConfig = quickDicConfig.dictionaryConfigs.get(dictIndex);
\r
154 this.setTitle("QuickDic: " + dictionaryConfig.name);
\r
155 dictRaf = new RandomAccessFile(dictionaryConfig.localFile, "r");
\r
156 dictionary = new Dictionary(dictRaf);
\r
157 } catch (Exception e) {
\r
158 Log.e(LOG, "Unable to load dictionary.", e);
\r
159 if (dictRaf != null) {
\r
162 } catch (IOException e1) {
\r
163 Log.e(LOG, "Unable to close dictRaf.", e1);
\r
167 Toast.makeText(this, getString(R.string.invalidDictionary, "", e.getMessage()), Toast.LENGTH_LONG);
\r
168 startActivity(DictionaryEditActivity.getIntent(dictIndex));
\r
173 indexIndex = prefs.getInt(C.INDEX_INDEX, 0) % dictionary.indices.size();
\r
174 Log.d(LOG, "Loading index.");
\r
175 index = dictionary.indices.get(indexIndex);
\r
176 setListAdapter(new IndexAdapter(index));
\r
178 // Pre-load the collators.
\r
179 searchExecutor.execute(new Runnable() {
\r
180 public void run() {
\r
181 final long startMillis = System.currentTimeMillis();
\r
183 TransliteratorManager.init(new TransliteratorManager.Callback() {
\r
185 public void onTransliteratorReady() {
\r
186 uiHandler.post(new Runnable() {
\r
188 public void run() {
\r
189 onSearchTextChange(searchText.getText().toString());
\r
195 for (final Index index : dictionary.indices) {
\r
196 Log.d(LOG, "Starting collator load for lang=" + index.sortLanguage.getSymbol());
\r
198 final com.ibm.icu.text.Collator c = index.sortLanguage.getCollator();
\r
199 if (c.compare("pre-print", "preppy") >= 0) {
\r
200 Log.e(LOG, c.getClass()
\r
201 + " is buggy, lookups may not work properly.");
\r
204 Log.d(LOG, "Loading collators took:"
\r
205 + (System.currentTimeMillis() - startMillis));
\r
210 setContentView(R.layout.dictionary_activity);
\r
211 searchText = (EditText) findViewById(R.id.SearchText);
\r
214 langButton = (Button) findViewById(R.id.LangButton);
\r
216 searchText.requestFocus();
\r
217 searchText.addTextChangedListener(searchTextWatcher);
\r
218 final String search = prefs.getString(C.SEARCH_TOKEN, "");
\r
219 searchText.setText(search);
\r
220 searchText.setSelection(0, search.length());
\r
221 Log.d(LOG, "Trying to restore searchText=" + search);
\r
223 final Button clearSearchTextButton = (Button) findViewById(R.id.ClearSearchTextButton);
\r
224 clearSearchTextButton.setOnClickListener(new OnClickListener() {
\r
225 public void onClick(View v) {
\r
226 onClearSearchTextButton(clearSearchTextButton);
\r
229 clearSearchTextButton.setVisibility(PreferenceManager.getDefaultSharedPreferences(this).getBoolean(
\r
230 getString(R.string.showClearSearchTextButtonKey), true) ? View.VISIBLE
\r
233 final Button langButton = (Button) findViewById(R.id.LangButton);
\r
234 langButton.setOnClickListener(new OnClickListener() {
\r
235 public void onClick(View v) {
\r
236 onLanguageButton();
\r
239 updateLangButton();
\r
241 final Button upButton = (Button) findViewById(R.id.UpButton);
\r
242 upButton.setOnClickListener(new OnClickListener() {
\r
243 public void onClick(View v) {
\r
244 onUpDownButton(true);
\r
247 final Button downButton = (Button) findViewById(R.id.DownButton);
\r
248 downButton.setOnClickListener(new OnClickListener() {
\r
249 public void onClick(View v) {
\r
250 onUpDownButton(false);
\r
254 getListView().setOnItemSelectedListener(new ListView.OnItemSelectedListener() {
\r
256 public void onItemSelected(AdapterView<?> adapterView, View arg1, final int position,
\r
258 if (!searchText.isFocused()) {
\r
259 // TODO: don't do this if multi words are entered.
\r
260 final RowBase row = (RowBase) getListAdapter().getItem(position);
\r
261 Log.d(LOG, "onItemSelected: " + row.index());
\r
262 final TokenRow tokenRow = row.getTokenRow(true);
\r
263 searchText.setText(tokenRow.getToken());
\r
268 public void onNothingSelected(AdapterView<?> arg0) {
\r
273 registerForContextMenu(getListView());
\r
276 wordList = new File(prefs.getString(getString(R.string.wordListFileKey),
\r
277 getString(R.string.wordListFileDefault)));
\r
278 saveOnlyFirstSubentry = prefs.getBoolean(getString(R.string.saveOnlyFirstSubentryKey), false);
\r
279 //if (prefs.getBoolean(getString(R.string.vibrateOnFailedSearchKey), true)) {
\r
280 // vibrator = (Vibrator) getSystemService(Context.VIBRATOR_SERVICE);
\r
282 Log.d(LOG, "wordList=" + wordList + ", saveOnlyFirstSubentry=" + saveOnlyFirstSubentry);
\r
286 protected void onResume() {
\r
291 protected void onPause() {
\r
296 protected void onDestroy() {
\r
298 if (dictRaf == null) {
\r
301 setDictionaryPrefs(this, dictIndex, indexIndex, searchText.getText().toString());
\r
303 // Before we close the RAF, we have to wind the current search down.
\r
304 if (currentSearchOperation != null) {
\r
305 Log.d(LOG, "Interrupting search to shut down.");
\r
306 final SearchOperation searchOperation = currentSearchOperation;
\r
307 currentSearchOperation = null;
\r
308 searchOperation.interrupted.set(true);
\r
309 synchronized (searchOperation) {
\r
310 while (!searchOperation.done) {
\r
312 searchOperation.wait();
\r
313 } catch (InterruptedException e) {
\r
314 Log.d(LOG, "Interrupted.", e);
\r
321 Log.d(LOG, "Closing RAF.");
\r
323 } catch (IOException e) {
\r
324 Log.e(LOG, "Failed to close dictionary", e);
\r
329 // --------------------------------------------------------------------------
\r
331 // --------------------------------------------------------------------------
\r
333 private void onClearSearchTextButton(final Button clearSearchTextButton) {
\r
334 clearSearchTextButton.requestFocus();
\r
335 searchText.setText("");
\r
336 searchText.requestFocus();
\r
337 Log.d(LOG, "Trying to show soft keyboard.");
\r
338 final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);
\r
339 manager.showSoftInput(searchText, InputMethodManager.SHOW_FORCED);
\r
342 void updateLangButton() {
\r
343 langButton.setText(index.shortName.toUpperCase());
\r
346 void onLanguageButton() {
\r
347 if (currentSearchOperation != null) {
\r
348 currentSearchOperation.interrupted.set(true);
\r
349 currentSearchOperation = null;
\r
352 indexIndex = (indexIndex + 1) % dictionary.indices.size();
\r
353 index = dictionary.indices.get(indexIndex);
\r
354 indexAdapter = new IndexAdapter(index);
\r
355 Log.d(LOG, "onLanguageButton, newLang=" + index.longName);
\r
356 setListAdapter(indexAdapter);
\r
357 updateLangButton();
\r
358 onSearchTextChange(searchText.getText().toString());
\r
361 void onUpDownButton(final boolean up) {
\r
362 final int firstVisibleRow = getListView().getFirstVisiblePosition();
\r
363 final RowBase row = index.rows.get(firstVisibleRow);
\r
364 final TokenRow tokenRow = row.getTokenRow(true);
\r
365 final int destIndexEntry;
\r
367 if (row != tokenRow) {
\r
368 destIndexEntry = tokenRow.referenceIndex;
\r
370 destIndexEntry = Math.max(tokenRow.referenceIndex - 1, 0);
\r
374 destIndexEntry = Math.min(tokenRow.referenceIndex + 1, index.sortedIndexEntries.size());
\r
376 final Index.IndexEntry dest = index.sortedIndexEntries.get(destIndexEntry);
\r
377 Log.d(LOG, "onUpDownButton, destIndexEntry=" + dest.token);
\r
378 searchText.removeTextChangedListener(searchTextWatcher);
\r
379 searchText.setText(dest.token);
\r
380 jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);
\r
381 searchText.addTextChangedListener(searchTextWatcher);
\r
384 // --------------------------------------------------------------------------
\r
386 // --------------------------------------------------------------------------
\r
389 public boolean onCreateOptionsMenu(final Menu menu) {
\r
392 final MenuItem preferences = menu.add(getString(R.string.preferences));
\r
393 preferences.setOnMenuItemClickListener(new OnMenuItemClickListener() {
\r
394 public boolean onMenuItemClick(final MenuItem menuItem) {
\r
395 startActivity(new Intent(DictionaryActivity.this,
\r
396 PreferenceActivity.class));
\r
403 final MenuItem dictionaryList = menu.add(getString(R.string.dictionaryList));
\r
404 dictionaryList.setOnMenuItemClickListener(new OnMenuItemClickListener() {
\r
405 public boolean onMenuItemClick(final MenuItem menuItem) {
\r
406 startActivity(DictionaryListActivity.getIntent(DictionaryActivity.this));
\r
414 final MenuItem dictionaryEdit = menu.add(getString(R.string.editDictionary));
\r
415 dictionaryEdit.setOnMenuItemClickListener(new OnMenuItemClickListener() {
\r
416 public boolean onMenuItemClick(final MenuItem menuItem) {
\r
417 final Intent intent = DictionaryEditActivity.getIntent(dictIndex);
\r
418 startActivity(intent);
\r
425 final MenuItem about = menu.add(getString(R.string.about));
\r
426 about.setOnMenuItemClickListener(new OnMenuItemClickListener() {
\r
427 public boolean onMenuItemClick(final MenuItem menuItem) {
\r
428 final Intent intent = new Intent().setClassName(AboutActivity.class
\r
429 .getPackage().getName(), AboutActivity.class.getCanonicalName());
\r
430 startActivity(intent);
\r
440 // --------------------------------------------------------------------------
\r
441 // Context Menu + clicks
\r
442 // --------------------------------------------------------------------------
\r
445 public void onCreateContextMenu(ContextMenu menu, View v,
\r
446 ContextMenuInfo menuInfo) {
\r
447 AdapterContextMenuInfo adapterContextMenuInfo = (AdapterContextMenuInfo) menuInfo;
\r
448 final RowBase row = (RowBase) getListAdapter().getItem(adapterContextMenuInfo.position);
\r
450 final MenuItem addToWordlist = menu.add(getString(R.string.addToWordList, wordList.getName()));
\r
451 addToWordlist.setOnMenuItemClickListener(new OnMenuItemClickListener() {
\r
452 public boolean onMenuItemClick(MenuItem item) {
\r
453 onAppendToWordList(row);
\r
458 final MenuItem copy = menu.add(android.R.string.copy);
\r
459 copy.setOnMenuItemClickListener(new OnMenuItemClickListener() {
\r
460 public boolean onMenuItemClick(MenuItem item) {
\r
469 protected void onListItemClick(ListView l, View v, int row, long id) {
\r
470 openContextMenu(v);
\r
473 void onAppendToWordList(final RowBase row) {
\r
474 final StringBuilder rawText = new StringBuilder();
\r
476 new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date()))
\r
478 rawText.append(index.longName).append("\t");
\r
479 rawText.append(row.getTokenRow(true).getToken()).append("\t");
\r
480 rawText.append(row.getRawText(saveOnlyFirstSubentry));
\r
481 Log.d(LOG, "Writing : " + rawText);
\r
483 // Request focus so that if we start typing again, it clears the text input.
\r
484 getListView().requestFocus();
\r
487 wordList.getParentFile().mkdirs();
\r
488 final PrintWriter out = new PrintWriter(
\r
489 new FileWriter(wordList, true));
\r
490 out.println(rawText.toString());
\r
492 } catch (IOException e) {
\r
493 Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);
\r
494 Toast.makeText(this, getString(R.string.failedAddingToWordList, wordList.getAbsolutePath()), Toast.LENGTH_LONG);
\r
499 void onCopy(final RowBase row) {
\r
500 Log.d(LOG, "Copy, row=" + row);
\r
501 final StringBuilder result = new StringBuilder();
\r
502 result.append(row.getRawText(false));
\r
503 final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);
\r
504 clipboardManager.setText(result.toString());
\r
505 Log.d(LOG, "Copied: " + result);
\r
509 public boolean onKeyDown(final int keyCode, final KeyEvent event) {
\r
510 if (event.getUnicodeChar() != 0) {
\r
511 if (!searchText.hasFocus()) {
\r
512 searchText.setText("" + (char) event.getUnicodeChar());
\r
513 onSearchTextChange(searchText.getText().toString());
\r
514 searchText.requestFocus();
\r
518 if (keyCode == KeyEvent.KEYCODE_BACK) {
\r
519 Log.d(LOG, "Clearing dictionary prefs.");
\r
520 DictionaryActivity.clearDictionaryPrefs(this);
\r
522 if (keyCode == KeyEvent.KEYCODE_ENTER) {
\r
523 Log.d(LOG, "Trying to hide soft keyboard.");
\r
524 final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);
\r
525 manager.hideSoftInputFromWindow(searchText, InputMethodManager.SHOW_FORCED);
\r
528 return super.onKeyDown(keyCode, event);
\r
532 // --------------------------------------------------------------------------
\r
534 // --------------------------------------------------------------------------
\r
536 private void searchFinished(final SearchOperation searchOperation) {
\r
537 if (searchOperation.interrupted.get()) {
\r
538 Log.d(LOG, "Search operation was interrupted: " + searchOperation);
\r
541 if (searchOperation != this.currentSearchOperation) {
\r
542 Log.d(LOG, "Stale searchOperation finished: " + searchOperation);
\r
546 final Index.IndexEntry searchResult = searchOperation.searchResult;
\r
547 Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);
\r
549 currentSearchOperation = null;
\r
551 uiHandler.postDelayed(new Runnable() {
\r
553 public void run() {
\r
554 if (currentSearchOperation == null) {
\r
555 jumpToRow(searchResult.startRow);
\r
557 Log.d(LOG, "More coming, waiting for currentSearchOperation.");
\r
562 // if (!searchResult.success) {
\r
563 // if (vibrator != null) {
\r
564 // vibrator.vibrate(VIBRATE_MILLIS);
\r
566 // searchText.setText(searchResult.longestPrefixString);
\r
567 // searchText.setSelection(searchResult.longestPrefixString.length());
\r
573 private final void jumpToRow(final int row) {
\r
575 getListView().setSelected(true);
\r
578 final class SearchOperation implements Runnable {
\r
580 final AtomicBoolean interrupted = new AtomicBoolean(false);
\r
581 final String searchText;
\r
584 long searchStartMillis;
\r
586 Index.IndexEntry searchResult;
\r
588 boolean done = false;
\r
590 SearchOperation(final String searchText, final Index index) {
\r
591 this.searchText = searchText.trim();
\r
592 this.index = index;
\r
595 public String toString() {
\r
596 return String.format("SearchOperation(%s,%s)", searchText, interrupted.toString());
\r
600 public void run() {
\r
602 searchStartMillis = System.currentTimeMillis();
\r
603 searchResult = index.findInsertionPoint(searchText, interrupted);
\r
604 Log.d(LOG, "searchText=" + searchText + ", searchDuration="
\r
605 + (System.currentTimeMillis() - searchStartMillis) + ", interrupted="
\r
606 + interrupted.get());
\r
607 if (!interrupted.get()) {
\r
608 uiHandler.post(new Runnable() {
\r
610 public void run() {
\r
611 searchFinished(SearchOperation.this);
\r
616 synchronized (this) {
\r
625 // --------------------------------------------------------------------------
\r
627 // --------------------------------------------------------------------------
\r
629 static final class IndexAdapter extends BaseAdapter {
\r
633 IndexAdapter(final Index index) {
\r
634 this.index = index;
\r
638 public int getCount() {
\r
639 return index.rows.size();
\r
643 public RowBase getItem(int position) {
\r
644 return index.rows.get(position);
\r
648 public long getItemId(int position) {
\r
649 return getItem(position).index();
\r
653 public View getView(int position, View convertView, ViewGroup parent) {
\r
654 final RowBase row = index.rows.get(position);
\r
655 if (row instanceof PairEntry.Row) {
\r
656 return getView((PairEntry.Row) row, parent);
\r
657 } else if (row instanceof TokenRow) {
\r
658 return getView((TokenRow) row, parent);
\r
660 throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());
\r
664 private View getView(PairEntry.Row row, ViewGroup parent) {
\r
665 final TableLayout result = new TableLayout(parent.getContext());
\r
666 final PairEntry entry = row.getEntry();
\r
667 final int rowCount = entry.pairs.size();
\r
668 for (int r = 0; r < rowCount; ++r) {
\r
669 final TableRow tableRow = new TableRow(result.getContext());
\r
671 TextView column1 = new TextView(tableRow.getContext());
\r
672 TextView column2 = new TextView(tableRow.getContext());
\r
673 final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();
\r
674 layoutParams.weight = 0.5f;
\r
677 final TextView spacer = new TextView(tableRow.getContext());
\r
678 spacer.setText(" • ");
\r
679 tableRow.addView(spacer);
\r
681 tableRow.addView(column1, layoutParams);
\r
683 final TextView spacer = new TextView(tableRow.getContext());
\r
684 spacer.setText(" • ");
\r
685 tableRow.addView(spacer);
\r
687 tableRow.addView(column2, layoutParams);
\r
689 column1.setWidth(1);
\r
690 column2.setWidth(1);
\r
692 // TODO: color words by gender
\r
693 final Pair pair = entry.pairs.get(r);
\r
694 final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;
\r
695 column1.setText(col1Text, TextView.BufferType.SPANNABLE);
\r
696 final Spannable col1Spannable = (Spannable) column1.getText();
\r
699 final String token = row.getTokenRow(true).getToken();
\r
700 while ((startPos = col1Text.indexOf(token, startPos)) != -1) {
\r
701 col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos,
\r
702 startPos + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);
\r
703 startPos += token.length();
\r
706 final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;
\r
707 column2.setText(col2Text, TextView.BufferType.NORMAL);
\r
709 result.addView(tableRow);
\r
715 private View getView(TokenRow row, ViewGroup parent) {
\r
716 final TextView textView = new TextView(parent.getContext());
\r
717 textView.setText(row.getToken());
\r
718 textView.setTextSize(20);
\r
724 // --------------------------------------------------------------------------
\r
726 // --------------------------------------------------------------------------
\r
728 void onSearchTextChange(final String text) {
\r
729 if (dictRaf == null) {
\r
730 Log.d(LOG, "searchText changed during shutdown, doing nothing.");
\r
733 if (!searchText.isFocused()) {
\r
734 Log.d(LOG, "searchText changed without focus, doing nothing.");
\r
737 Log.d(LOG, "onSearchTextChange: " + text);
\r
738 if (currentSearchOperation != null) {
\r
739 Log.d(LOG, "Interrupting currentSearchOperation.");
\r
740 currentSearchOperation.interrupted.set(true);
\r
742 currentSearchOperation = new SearchOperation(text, index);
\r
743 searchExecutor.execute(currentSearchOperation);
\r
746 private class SearchTextWatcher implements TextWatcher {
\r
747 public void afterTextChanged(final Editable searchTextEditable) {
\r
748 if (searchText.hasFocus()) {
\r
749 Log.d(LOG, "Search text changed with focus: " + searchText.getText());
\r
750 // If they were typing to cause the change, update the UI.
\r
751 onSearchTextChange(searchText.getText().toString());
\r
755 public void beforeTextChanged(CharSequence arg0, int arg1, int arg2,
\r
759 public void onTextChanged(CharSequence arg0, int arg1, int arg2, int arg3) {
\r