]> gitweb.fperrin.net Git - Dictionary.git/blobdiff - src/com/hughes/android/dictionary/DictionaryActivity.java
Font size pref, reorder a few EntryTypes.
[Dictionary.git] / src / com / hughes / android / dictionary / DictionaryActivity.java
index c8850ffafb4627421d2cf9357f6344cfcdfa1b23..00d4576012d7b5356bae9aec3ddcacf15335eee8 100644 (file)
@@ -1,9 +1,29 @@
+// Copyright 2011 Google Inc. All Rights Reserved.\r
+//\r
+// Licensed under the Apache License, Version 2.0 (the "License");\r
+// you may not use this file except in compliance with the License.\r
+// You may obtain a copy of the License at\r
+//\r
+//     http://www.apache.org/licenses/LICENSE-2.0\r
+//\r
+// Unless required by applicable law or agreed to in writing, software\r
+// distributed under the License is distributed on an "AS IS" BASIS,\r
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\r
+// See the License for the specific language governing permissions and\r
+// limitations under the License.\r
+\r
 package com.hughes.android.dictionary;\r
 \r
 import java.io.File;\r
+import java.io.FileWriter;\r
+import java.io.IOException;\r
+import java.io.PrintWriter;\r
 import java.io.RandomAccessFile;\r
+import java.text.SimpleDateFormat;\r
+import java.util.Date;\r
 import java.util.concurrent.Executor;\r
 import java.util.concurrent.Executors;\r
+import java.util.concurrent.ThreadFactory;\r
 import java.util.concurrent.atomic.AtomicBoolean;\r
 \r
 import android.app.ListActivity;\r
@@ -13,30 +33,43 @@ import android.content.SharedPreferences;
 import android.graphics.Typeface;\r
 import android.os.Bundle;\r
 import android.os.Handler;\r
-import android.os.Vibrator;\r
 import android.preference.PreferenceManager;\r
+import android.text.ClipboardManager;\r
 import android.text.Editable;\r
 import android.text.Spannable;\r
 import android.text.TextWatcher;\r
 import android.text.style.StyleSpan;\r
 import android.util.Log;\r
+import android.util.TypedValue;\r
+import android.view.ContextMenu;\r
+import android.view.ContextMenu.ContextMenuInfo;\r
+import android.view.KeyEvent;\r
+import android.view.Menu;\r
+import android.view.MenuItem;\r
+import android.view.MenuItem.OnMenuItemClickListener;\r
 import android.view.View;\r
-import android.view.ViewGroup;\r
 import android.view.View.OnClickListener;\r
+import android.view.ViewGroup;\r
 import android.view.inputmethod.InputMethodManager;\r
+import android.widget.AdapterView;\r
+import android.widget.AdapterView.AdapterContextMenuInfo;\r
 import android.widget.BaseAdapter;\r
 import android.widget.Button;\r
 import android.widget.EditText;\r
 import android.widget.ListAdapter;\r
+import android.widget.ListView;\r
 import android.widget.TableLayout;\r
 import android.widget.TableRow;\r
 import android.widget.TextView;\r
+import android.widget.Toast;\r
 \r
 import com.hughes.android.dictionary.engine.Dictionary;\r
 import com.hughes.android.dictionary.engine.Index;\r
 import com.hughes.android.dictionary.engine.PairEntry;\r
+import com.hughes.android.dictionary.engine.PairEntry.Pair;\r
 import com.hughes.android.dictionary.engine.RowBase;\r
 import com.hughes.android.dictionary.engine.TokenRow;\r
+import com.hughes.android.dictionary.engine.TransliteratorManager;\r
 import com.hughes.android.util.PersistentObjectCache;\r
 \r
 public class DictionaryActivity extends ListActivity {\r
@@ -45,6 +78,7 @@ public class DictionaryActivity extends ListActivity {
   \r
   static final int VIBRATE_MILLIS = 100;\r
 \r
+  int dictIndex = 0;\r
   RandomAccessFile dictRaf = null;\r
   Dictionary dictionary = null;\r
   int indexIndex = 0;\r
@@ -52,65 +86,119 @@ public class DictionaryActivity extends ListActivity {
   \r
   // package for test.\r
   final Handler uiHandler = new Handler();\r
-  private final Executor searchExecutor = Executors.newSingleThreadExecutor();\r
+  private final Executor searchExecutor = Executors.newSingleThreadExecutor(new ThreadFactory() {\r
+    @Override\r
+    public Thread newThread(Runnable r) {\r
+      return new Thread(r, "searchExecutor");\r
+    }\r
+  });\r
   private SearchOperation currentSearchOperation = null;\r
 \r
+  int fontSizeSp;\r
   EditText searchText;\r
   Button langButton;\r
 \r
   // Never null.\r
   private File wordList = null;\r
   private boolean saveOnlyFirstSubentry = false;\r
+  private boolean clickOpensContextMenu = false;\r
 \r
   // Visible for testing.\r
   ListAdapter indexAdapter = null;\r
+  \r
+  final SearchTextWatcher searchTextWatcher = new SearchTextWatcher();\r
 \r
-  private Vibrator vibrator = null;\r
+  //private Vibrator vibrator = null;\r
   \r
   public DictionaryActivity() {\r
   }\r
   \r
-  public static Intent getIntent(final int dictIndex, final int indexIndex, final String searchToken) {\r
+  public static Intent getIntent(final Context context, final int dictIndex, final int indexIndex, final String searchToken) {\r
+    setDictionaryPrefs(context, dictIndex, indexIndex, searchToken);\r
+    \r
     final Intent intent = new Intent();\r
     intent.setClassName(DictionaryActivity.class.getPackage().getName(), DictionaryActivity.class.getName());\r
-    intent.putExtra(C.DICT_INDEX, dictIndex);\r
-    intent.putExtra(C.INDEX_INDEX, indexIndex);\r
-    intent.putExtra(C.SEARCH_TOKEN, searchToken);\r
     return intent;\r
   }\r
 \r
+  public static void setDictionaryPrefs(final Context context,\r
+      final int dictIndex, final int indexIndex, final String searchToken) {\r
+    final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
+    prefs.putInt(C.DICT_INDEX, dictIndex);\r
+    prefs.putInt(C.INDEX_INDEX, indexIndex);\r
+    prefs.putString(C.SEARCH_TOKEN, searchToken);\r
+    prefs.commit();\r
+  }\r
+\r
+  public static void clearDictionaryPrefs(final Context context) {\r
+    final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
+    prefs.remove(C.DICT_INDEX);\r
+    prefs.remove(C.INDEX_INDEX);\r
+    prefs.remove(C.SEARCH_TOKEN);\r
+    prefs.commit();\r
+    Log.d(LOG, "Removed default dictionary prefs.");\r
+  }\r
+\r
   @Override\r
   public void onCreate(Bundle savedInstanceState) {\r
+    ((DictionaryApplication)getApplication()).applyTheme(this);\r
+    \r
     super.onCreate(savedInstanceState);\r
+    Log.d(LOG, "onCreate:" + this);\r
     \r
     final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);\r
     \r
-    PersistentObjectCache.init(this);\r
-    QuickDicConfig quickDicConfig = PersistentObjectCache.init(\r
-        this).read(C.DICTIONARY_CONFIGS, QuickDicConfig.class);\r
-    \r
-    final Intent intent = getIntent();\r
-    \r
-    final int dictIndex = intent.getIntExtra(C.DICT_INDEX, 0);\r
     try {\r
+      PersistentObjectCache.init(this);\r
+      QuickDicConfig quickDicConfig = PersistentObjectCache.init(\r
+          this).read(C.DICTIONARY_CONFIGS, QuickDicConfig.class);\r
+      dictIndex = prefs.getInt(C.DICT_INDEX, 0) ;\r
       final DictionaryConfig dictionaryConfig = quickDicConfig.dictionaryConfigs.get(dictIndex);\r
+      this.setTitle("QuickDic: " + dictionaryConfig.name);\r
       dictRaf = new RandomAccessFile(dictionaryConfig.localFile, "r");\r
       dictionary = new Dictionary(dictRaf); \r
     } catch (Exception e) {\r
       Log.e(LOG, "Unable to load dictionary.", e);\r
-      DictionaryEditActivity.getIntent(dictIndex);\r
+      if (dictRaf != null) {\r
+        try {\r
+          dictRaf.close();\r
+        } catch (IOException e1) {\r
+          Log.e(LOG, "Unable to close dictRaf.", e1);\r
+        }\r
+        dictRaf = null;\r
+      }\r
+      Toast.makeText(this, getString(R.string.invalidDictionary, "", e.getMessage()), Toast.LENGTH_LONG);\r
+      startActivity(DictionaryEditActivity.getIntent(dictIndex));\r
       finish();\r
       return;\r
     }\r
 \r
+    indexIndex = prefs.getInt(C.INDEX_INDEX, 0) % dictionary.indices.size();\r
+    Log.d(LOG, "Loading index.");\r
+    index = dictionary.indices.get(indexIndex);\r
+    setListAdapter(new IndexAdapter(index));\r
+\r
     // Pre-load the collators.\r
     searchExecutor.execute(new Runnable() {\r
       public void run() {\r
         final long startMillis = System.currentTimeMillis();\r
+        \r
+        TransliteratorManager.init(new TransliteratorManager.Callback() {\r
+          @Override\r
+          public void onTransliteratorReady() {\r
+            uiHandler.post(new Runnable() {\r
+              @Override\r
+              public void run() {\r
+                onSearchTextChange(searchText.getText().toString());\r
+              }\r
+            });\r
+          }\r
+        });\r
+        \r
         for (final Index index : dictionary.indices) {\r
-          index.sortLanguage.getFindCollator();\r
-          final com.ibm.icu.text.Collator c = index.sortLanguage\r
-              .getSortCollator();\r
+          Log.d(LOG, "Starting collator load for lang=" + index.sortLanguage.getSymbol());\r
+          \r
+          final com.ibm.icu.text.Collator c = index.sortLanguage.getCollator();          \r
           if (c.compare("pre-print", "preppy") >= 0) {\r
             Log.e(LOG, c.getClass()\r
                 + " is buggy, lookups may not work properly.");\r
@@ -121,16 +209,26 @@ public class DictionaryActivity extends ListActivity {
       }\r
     });\r
     \r
-    indexIndex = intent.getIntExtra(C.INDEX_INDEX, 0) % dictionary.indices.size();\r
-    index = dictionary.indices.get(indexIndex);\r
-    setListAdapter(new IndexAdapter(index));\r
-    \r
+    final String fontSize = prefs.getString(getString(R.string.fontSizeKey), "12");\r
+    try {\r
+      fontSizeSp = Integer.parseInt(fontSize);\r
+    } catch (NumberFormatException e) {\r
+      fontSizeSp = 12;\r
+    }\r
+\r
     setContentView(R.layout.dictionary_activity);\r
     searchText = (EditText) findViewById(R.id.SearchText);\r
-    langButton = (Button) findViewById(R.id.LangButton);\r
+    searchText.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
     \r
-    searchText.addTextChangedListener(new SearchTextWatcher());\r
+    langButton = (Button) findViewById(R.id.LangButton);\r
+    langButton.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
     \r
+    searchText.requestFocus();\r
+    searchText.addTextChangedListener(searchTextWatcher);\r
+    final String search = prefs.getString(C.SEARCH_TOKEN, "");\r
+    searchText.setText(search);\r
+    searchText.setSelection(0, search.length());\r
+    Log.d(LOG, "Trying to restore searchText=" + search);\r
     \r
     final Button clearSearchTextButton = (Button) findViewById(R.id.ClearSearchTextButton);\r
     clearSearchTextButton.setOnClickListener(new OnClickListener() {\r
@@ -148,6 +246,7 @@ public class DictionaryActivity extends ListActivity {
         onLanguageButton();\r
       }\r
     });\r
+    updateLangButton();\r
     \r
     final Button upButton = (Button) findViewById(R.id.UpButton);\r
     upButton.setOnClickListener(new OnClickListener() {\r
@@ -162,15 +261,80 @@ public class DictionaryActivity extends ListActivity {
       }\r
     });\r
 \r
+   getListView().setOnItemSelectedListener(new ListView.OnItemSelectedListener() {\r
+      @Override\r
+      public void onItemSelected(AdapterView<?> adapterView, View arg1, final int position,\r
+          long id) {\r
+        if (!searchText.isFocused()) {\r
+          // TODO: don't do this if multi words are entered.\r
+          final RowBase row = (RowBase) getListAdapter().getItem(position);\r
+          Log.d(LOG, "onItemSelected: " + row.index());\r
+          final TokenRow tokenRow = row.getTokenRow(true);\r
+          searchText.setText(tokenRow.getToken());\r
+        }\r
+      }\r
+\r
+      @Override\r
+      public void onNothingSelected(AdapterView<?> arg0) {\r
+      }\r
+    });\r
+\r
     // ContextMenu.\r
     registerForContextMenu(getListView());\r
-    \r
-    if (prefs.getBoolean(getString(R.string.vibrateOnFailedSearchKey), true)) {\r
-      vibrator = (Vibrator) getSystemService(Context.VIBRATOR_SERVICE);\r
-    }\r
 \r
-    updateLangButton();\r
+    // Prefs.\r
+    wordList = new File(prefs.getString(getString(R.string.wordListFileKey),\r
+        getString(R.string.wordListFileDefault)));\r
+    saveOnlyFirstSubentry = prefs.getBoolean(getString(R.string.saveOnlyFirstSubentryKey), false);\r
+    clickOpensContextMenu = prefs.getBoolean(getString(R.string.clickOpensContextMenuKey), false);\r
+    //if (prefs.getBoolean(getString(R.string.vibrateOnFailedSearchKey), true)) {\r
+      // vibrator = (Vibrator) getSystemService(Context.VIBRATOR_SERVICE);\r
+    //}\r
+    Log.d(LOG, "wordList=" + wordList + ", saveOnlyFirstSubentry=" + saveOnlyFirstSubentry);\r
+  }\r
+  \r
+  @Override\r
+  protected void onResume() {\r
+    super.onResume();\r
+  }\r
+  \r
+  @Override\r
+  protected void onPause() {\r
+    super.onPause();\r
+  }\r
 \r
+  @Override\r
+  protected void onDestroy() {\r
+    super.onDestroy();\r
+    if (dictRaf == null) {\r
+      return;\r
+    }\r
+    setDictionaryPrefs(this, dictIndex, indexIndex, searchText.getText().toString());\r
+    \r
+    // Before we close the RAF, we have to wind the current search down.\r
+    if (currentSearchOperation != null) {\r
+      Log.d(LOG, "Interrupting search to shut down.");\r
+      final SearchOperation searchOperation = currentSearchOperation;\r
+      currentSearchOperation = null;\r
+      searchOperation.interrupted.set(true);\r
+      synchronized (searchOperation) {\r
+        while (!searchOperation.done) {\r
+          try {\r
+            searchOperation.wait();\r
+          } catch (InterruptedException e) {\r
+            Log.d(LOG, "Interrupted.", e);\r
+          }\r
+        }\r
+      }\r
+    }\r
+    \r
+    try {\r
+      Log.d(LOG, "Closing RAF.");\r
+      dictRaf.close();\r
+    } catch (IOException e) {\r
+      Log.e(LOG, "Failed to close dictionary", e);\r
+    }\r
+    dictRaf = null;\r
   }\r
 \r
   // --------------------------------------------------------------------------\r
@@ -183,7 +347,7 @@ public class DictionaryActivity extends ListActivity {
     searchText.requestFocus();\r
     Log.d(LOG, "Trying to show soft keyboard.");\r
     final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);\r
-    manager.showSoftInput(searchText, InputMethodManager.SHOW_IMPLICIT);\r
+    manager.showSoftInput(searchText, InputMethodManager.SHOW_FORCED);\r
   }\r
   \r
   void updateLangButton() {\r
@@ -220,37 +384,206 @@ public class DictionaryActivity extends ListActivity {
       // Down\r
       destIndexEntry = Math.min(tokenRow.referenceIndex + 1, index.sortedIndexEntries.size());\r
     }\r
-    \r
-    Log.d(LOG, "onUpDownButton, destIndexEntry=" + destIndexEntry);\r
+    final Index.IndexEntry dest = index.sortedIndexEntries.get(destIndexEntry);\r
+    Log.d(LOG, "onUpDownButton, destIndexEntry=" + dest.token);\r
+    searchText.removeTextChangedListener(searchTextWatcher);\r
+    searchText.setText(dest.token);\r
     jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);\r
+    searchText.addTextChangedListener(searchTextWatcher);\r
+  }\r
+\r
+  // --------------------------------------------------------------------------\r
+  // Options Menu\r
+  // --------------------------------------------------------------------------\r
+  \r
+  @Override\r
+  public boolean onCreateOptionsMenu(final Menu menu) {\r
+    \r
+    {\r
+      final MenuItem preferences = menu.add(getString(R.string.preferences));\r
+      preferences.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+        public boolean onMenuItemClick(final MenuItem menuItem) {\r
+          startActivity(new Intent(DictionaryActivity.this,\r
+              PreferenceActivity.class));\r
+          return false;\r
+        }\r
+      });\r
+    }\r
+\r
+    {\r
+      final MenuItem dictionaryList = menu.add(getString(R.string.dictionaryList));\r
+      dictionaryList.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+        public boolean onMenuItemClick(final MenuItem menuItem) {\r
+          startActivity(DictionaryListActivity.getIntent(DictionaryActivity.this));\r
+          finish();\r
+          return false;\r
+        }\r
+      });\r
+    }\r
+\r
+    {\r
+      final MenuItem dictionaryEdit = menu.add(getString(R.string.editDictionary));\r
+      dictionaryEdit.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+        public boolean onMenuItemClick(final MenuItem menuItem) {\r
+          final Intent intent = DictionaryEditActivity.getIntent(dictIndex);\r
+          startActivity(intent);\r
+          return false;\r
+        }\r
+      });\r
+    }\r
+\r
+    {\r
+      final MenuItem about = menu.add(getString(R.string.about));\r
+      about.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+        public boolean onMenuItemClick(final MenuItem menuItem) {\r
+          final Intent intent = new Intent().setClassName(AboutActivity.class\r
+              .getPackage().getName(), AboutActivity.class.getCanonicalName());\r
+          startActivity(intent);\r
+          return false;\r
+        }\r
+      });\r
+    }\r
+\r
+    return true;\r
   }\r
 \r
+\r
   // --------------------------------------------------------------------------\r
-  // Menu\r
+  // Context Menu + clicks\r
   // --------------------------------------------------------------------------\r
 \r
+  @Override\r
+  public void onCreateContextMenu(ContextMenu menu, View v,\r
+      ContextMenuInfo menuInfo) {\r
+    AdapterContextMenuInfo adapterContextMenuInfo = (AdapterContextMenuInfo) menuInfo;\r
+    final RowBase row = (RowBase) getListAdapter().getItem(adapterContextMenuInfo.position);\r
+\r
+    final MenuItem addToWordlist = menu.add(getString(R.string.addToWordList, wordList.getName()));\r
+    addToWordlist.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+      public boolean onMenuItemClick(MenuItem item) {\r
+        onAppendToWordList(row);\r
+        return false;\r
+      }\r
+    });\r
+\r
+    final MenuItem copy = menu.add(android.R.string.copy);\r
+    copy.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+      public boolean onMenuItemClick(MenuItem item) {\r
+        onCopy(row);\r
+        return false;\r
+      }\r
+    });\r
+\r
+  }\r
+  \r
+  @Override\r
+  protected void onListItemClick(ListView l, View v, int row, long id) {\r
+    if (clickOpensContextMenu) {\r
+      openContextMenu(v);\r
+    }\r
+  }\r
+  \r
+  void onAppendToWordList(final RowBase row) {\r
+    final StringBuilder rawText = new StringBuilder();\r
+    rawText.append(\r
+        new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date()))\r
+        .append("\t");\r
+    rawText.append(index.longName).append("\t");\r
+    rawText.append(row.getTokenRow(true).getToken()).append("\t");\r
+    rawText.append(row.getRawText(saveOnlyFirstSubentry));\r
+    Log.d(LOG, "Writing : " + rawText);\r
+\r
+    // Request focus so that if we start typing again, it clears the text input.\r
+    getListView().requestFocus();\r
+\r
+    try {\r
+      wordList.getParentFile().mkdirs();\r
+      final PrintWriter out = new PrintWriter(\r
+          new FileWriter(wordList, true));\r
+      out.println(rawText.toString());\r
+      out.close();\r
+    } catch (IOException e) {\r
+      Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);\r
+      Toast.makeText(this, getString(R.string.failedAddingToWordList, wordList.getAbsolutePath()), Toast.LENGTH_LONG);\r
+    }\r
+    return;\r
+  }\r
+\r
+  void onCopy(final RowBase row) {\r
+    // Request focus so that if we start typing again, it clears the text input.\r
+    getListView().requestFocus();\r
+\r
+    Log.d(LOG, "Copy, row=" + row);\r
+    final StringBuilder result = new StringBuilder();\r
+    result.append(row.getRawText(false));\r
+    final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);\r
+    clipboardManager.setText(result.toString());\r
+    Log.d(LOG, "Copied: " + result);\r
+  }\r
+\r
+  @Override\r
+  public boolean onKeyDown(final int keyCode, final KeyEvent event) {\r
+    if (event.getUnicodeChar() != 0) {\r
+      if (!searchText.hasFocus()) {\r
+        searchText.setText("" + (char) event.getUnicodeChar());\r
+        onSearchTextChange(searchText.getText().toString());\r
+        searchText.requestFocus();\r
+      }\r
+      return true;\r
+    }\r
+    if (keyCode == KeyEvent.KEYCODE_BACK) {\r
+      Log.d(LOG, "Clearing dictionary prefs.");\r
+      DictionaryActivity.clearDictionaryPrefs(this);\r
+    }\r
+    if (keyCode == KeyEvent.KEYCODE_ENTER) {\r
+//      Log.d(LOG, "Trying to hide soft keyboard.");\r
+//      final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);\r
+//      manager.hideSoftInputFromWindow(searchText, InputMethodManager.SHOW_FORCED);\r
+\r
+    }\r
+    return super.onKeyDown(keyCode, event);\r
+  }\r
+\r
+\r
   // --------------------------------------------------------------------------\r
   // SearchOperation\r
   // --------------------------------------------------------------------------\r
 \r
   private void searchFinished(final SearchOperation searchOperation) {\r
+    if (searchOperation.interrupted.get()) {\r
+      Log.d(LOG, "Search operation was interrupted: " + searchOperation);\r
+      return;\r
+    }\r
     if (searchOperation != this.currentSearchOperation) {\r
+      Log.d(LOG, "Stale searchOperation finished: " + searchOperation);\r
       return;\r
     }\r
     \r
-    final Index.SearchResult searchResult = searchOperation.searchResult;\r
-    Log.d(LOG, "searchFinished, " + searchResult.longestPrefixString + ", success=" + searchResult.success);\r
+    final Index.IndexEntry searchResult = searchOperation.searchResult;\r
+    Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);\r
 \r
-    jumpToRow(searchResult.longestPrefix.startRow);\r
-    \r
-    if (!searchResult.success) {\r
-      if (vibrator != null) {\r
-        vibrator.vibrate(VIBRATE_MILLIS);\r
+    currentSearchOperation = null;\r
+\r
+    uiHandler.postDelayed(new Runnable() {\r
+      @Override\r
+      public void run() {\r
+        if (currentSearchOperation == null) {\r
+          jumpToRow(searchResult.startRow);\r
+        } else {\r
+          Log.d(LOG, "More coming, waiting for currentSearchOperation.");\r
+        }\r
       }\r
-      searchText.setText(searchResult.longestPrefixString);\r
-      searchText.setSelection(searchResult.longestPrefixString.length());\r
-      return;\r
-    }\r
+    }, 50);\r
+    \r
+//    if (!searchResult.success) {\r
+//      if (vibrator != null) {\r
+//        vibrator.vibrate(VIBRATE_MILLIS);\r
+//      }\r
+//      searchText.setText(searchResult.longestPrefixString);\r
+//      searchText.setSelection(searchResult.longestPrefixString.length());\r
+//      return;\r
+//    }\r
+    \r
   }\r
   \r
   private final void jumpToRow(final int row) {\r
@@ -266,27 +599,40 @@ public class DictionaryActivity extends ListActivity {
     \r
     long searchStartMillis;\r
 \r
-    Index.SearchResult searchResult;\r
+    Index.IndexEntry searchResult;\r
+    \r
+    boolean done = false;\r
     \r
     SearchOperation(final String searchText, final Index index) {\r
       this.searchText = searchText.trim();\r
       this.index = index;\r
     }\r
+    \r
+    public String toString() {\r
+      return String.format("SearchOperation(%s,%s)", searchText, interrupted.toString());\r
+    }\r
 \r
     @Override\r
     public void run() {\r
-      searchStartMillis = System.currentTimeMillis();\r
-      searchResult = index.findLongestSubstring(searchText, interrupted);\r
-      Log.d(LOG, "searchText=" + searchText + ", searchDuration="\r
-          + (System.currentTimeMillis() - searchStartMillis) + ", interrupted="\r
-          + interrupted.get());\r
-      if (!interrupted.get()) {\r
-        uiHandler.post(new Runnable() {\r
-          @Override\r
-          public void run() {            \r
-            searchFinished(SearchOperation.this);\r
-          }\r
-        });\r
+      try {\r
+        searchStartMillis = System.currentTimeMillis();\r
+        searchResult = index.findInsertionPoint(searchText, interrupted);\r
+        Log.d(LOG, "searchText=" + searchText + ", searchDuration="\r
+            + (System.currentTimeMillis() - searchStartMillis) + ", interrupted="\r
+            + interrupted.get());\r
+        if (!interrupted.get()) {\r
+          uiHandler.post(new Runnable() {\r
+            @Override\r
+            public void run() {            \r
+              searchFinished(SearchOperation.this);\r
+            }\r
+          });\r
+        }\r
+      } finally {\r
+        synchronized (this) {\r
+          done = true;\r
+          this.notifyAll();\r
+        }\r
       }\r
     }\r
   }\r
@@ -296,7 +642,7 @@ public class DictionaryActivity extends ListActivity {
   // IndexAdapter\r
   // --------------------------------------------------------------------------\r
 \r
-  static final class IndexAdapter extends BaseAdapter {\r
+  final class IndexAdapter extends BaseAdapter {\r
     \r
     final Index index;\r
 \r
@@ -310,13 +656,13 @@ public class DictionaryActivity extends ListActivity {
     }\r
 \r
     @Override\r
-    public Object getItem(int position) {\r
+    public RowBase getItem(int position) {\r
       return index.rows.get(position);\r
     }\r
 \r
     @Override\r
     public long getItemId(int position) {\r
-      return position;\r
+      return getItem(position).index();\r
     }\r
 \r
     @Override\r
@@ -334,7 +680,7 @@ public class DictionaryActivity extends ListActivity {
     private View getView(PairEntry.Row row, ViewGroup parent) {\r
       final TableLayout result = new TableLayout(parent.getContext());\r
       final PairEntry entry = row.getEntry();\r
-      final int rowCount = entry.pairs.length;\r
+      final int rowCount = entry.pairs.size();\r
       for (int r = 0; r < rowCount; ++r) {\r
         final TableRow tableRow = new TableRow(result.getContext());\r
 \r
@@ -360,7 +706,8 @@ public class DictionaryActivity extends ListActivity {
         column2.setWidth(1);\r
 \r
         // TODO: color words by gender\r
-        final String col1Text = index.swapPairEntries ? entry.pairs[r].lang2 : entry.pairs[r].lang1;\r
+        final Pair pair = entry.pairs.get(r);\r
+        final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;\r
         column1.setText(col1Text, TextView.BufferType.SPANNABLE);\r
         final Spannable col1Spannable = (Spannable) column1.getText();\r
         \r
@@ -372,8 +719,11 @@ public class DictionaryActivity extends ListActivity {
           startPos += token.length();\r
         }\r
 \r
-        final String col2Text = index.swapPairEntries ? entry.pairs[r].lang1 : entry.pairs[r].lang2;\r
+        final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;\r
         column2.setText(col2Text, TextView.BufferType.NORMAL);\r
+        \r
+        column1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+        column2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
 \r
         result.addView(tableRow);\r
       }\r
@@ -384,7 +734,7 @@ public class DictionaryActivity extends ListActivity {
     private View getView(TokenRow row, ViewGroup parent) {\r
       final TextView textView = new TextView(parent.getContext());\r
       textView.setText(row.getToken());\r
-      textView.setTextSize(20);\r
+      textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, 6 * fontSizeSp / 5);\r
       return textView;\r
     }\r
     \r
@@ -394,19 +744,28 @@ public class DictionaryActivity extends ListActivity {
   // SearchText\r
   // --------------------------------------------------------------------------\r
 \r
-  void onSearchTextChange(final String searchText) {\r
-    Log.d(LOG, "onSearchTextChange: " + searchText);\r
+  void onSearchTextChange(final String text) {\r
+    if (dictRaf == null) {\r
+      Log.d(LOG, "searchText changed during shutdown, doing nothing.");\r
+      return;\r
+    }\r
+    if (!searchText.isFocused()) {\r
+      Log.d(LOG, "searchText changed without focus, doing nothing.");\r
+      return;\r
+    }\r
+    Log.d(LOG, "onSearchTextChange: " + text);    \r
     if (currentSearchOperation != null) {\r
+      Log.d(LOG, "Interrupting currentSearchOperation.");\r
       currentSearchOperation.interrupted.set(true);\r
     }\r
-    currentSearchOperation = new SearchOperation(searchText, index);\r
+    currentSearchOperation = new SearchOperation(text, index);\r
     searchExecutor.execute(currentSearchOperation);\r
   }\r
   \r
   private class SearchTextWatcher implements TextWatcher {\r
     public void afterTextChanged(final Editable searchTextEditable) {\r
-      Log.d(LOG, "Search text changed: " + searchText.getText());\r
       if (searchText.hasFocus()) {\r
+        Log.d(LOG, "Search text changed with focus: " + searchText.getText());\r
         // If they were typing to cause the change, update the UI.\r
         onSearchTextChange(searchText.getText().toString());\r
       }\r