]> gitweb.fperrin.net Git - Dictionary.git/blobdiff - src/com/hughes/android/dictionary/DictionaryActivity.java
Added help activity, num bytes in download, index info (but screwed up),
[Dictionary.git] / src / com / hughes / android / dictionary / DictionaryActivity.java
old mode 100755 (executable)
new mode 100644 (file)
index b148831..66aee42
-package com.hughes.android.dictionary;
-
-import java.io.File;
-import java.io.FileWriter;
-import java.io.IOException;
-import java.io.PrintWriter;
-import java.io.RandomAccessFile;
-import java.text.SimpleDateFormat;
-import java.util.Date;
-import java.util.concurrent.Executor;
-import java.util.concurrent.Executors;
-import java.util.concurrent.atomic.AtomicBoolean;
-
-import android.app.AlertDialog;
-import android.app.ListActivity;
-import android.content.Context;
-import android.content.DialogInterface;
-import android.content.Intent;
-import android.content.SharedPreferences;
-import android.content.SharedPreferences.Editor;
-import android.graphics.Typeface;
-import android.os.Bundle;
-import android.os.Handler;
-import android.preference.PreferenceManager;
-import android.text.ClipboardManager;
-import android.text.Editable;
-import android.text.Spannable;
-import android.text.TextWatcher;
-import android.text.style.StyleSpan;
-import android.util.Log;
-import android.view.ContextMenu;
-import android.view.KeyEvent;
-import android.view.Menu;
-import android.view.MenuItem;
-import android.view.View;
-import android.view.ViewGroup;
-import android.view.ContextMenu.ContextMenuInfo;
-import android.view.MenuItem.OnMenuItemClickListener;
-import android.view.View.OnClickListener;
-import android.widget.AdapterView;
-import android.widget.BaseAdapter;
-import android.widget.Button;
-import android.widget.EditText;
-import android.widget.ListView;
-import android.widget.TableLayout;
-import android.widget.TableRow;
-import android.widget.TextView;
-import android.widget.AdapterView.OnItemLongClickListener;
-import android.widget.AdapterView.OnItemSelectedListener;
-
-import com.hughes.android.dictionary.Dictionary.IndexEntry;
-import com.hughes.android.dictionary.Dictionary.LanguageData;
-import com.hughes.android.dictionary.Dictionary.Row;
-
-public class DictionaryActivity extends ListActivity {
-
-  static final Intent preferencesIntent = new Intent().setClassName(PreferenceActivity.class.getPackage().getName(), PreferenceActivity.class.getCanonicalName());
-  
-  static final String LOG = "QuickDic";
-  static final String PREF_DICT_ACTIVE_LANG = "DICT_DIR_PREF";
-  static final String PREF_ACTIVE_SEARCH_TEXT = "ACTIVE_WORD_PREF";
-
-  private final Handler uiHandler = new Handler();
-  private final Executor searchExecutor = Executors.newSingleThreadExecutor();
-  private final DictionaryListAdapter dictionaryListAdapter = new DictionaryListAdapter();
-
-  // Never null.
-  private File wordList;
-
-  // Can be null.
-  private File dictFile = null;
-  private RandomAccessFile dictRaf = null;
-  private Dictionary dictionary = null;
-  private LanguageData activeLanguageData = null;
-
-  private SearchOperation searchOperation = null;
-  private int selectedRowIndex = -1;
-  private int selectedTokenRowIndex = -1;
-  
-
-  /** Called when the activity is first created. */
-  @Override
-  public void onCreate(Bundle savedInstanceState) {
-    super.onCreate(savedInstanceState);
-    Log.d(LOG, "onCreate");
-    
-    if (Language.EN.sortCollator.compare("preppy", "pre-print") >= 0) {
-      Log.e(LOG, "Android java.text.Collator is buggy, lookups may not work properly.");
-    }
-    
-    setContentView(R.layout.main);
-
-    getSearchText().addTextChangedListener(new SearchTextWatcher());
-
-    setListAdapter(dictionaryListAdapter);
-
-    // Language button.
-    final Button langButton = (Button) findViewById(R.id.LangButton);
-    langButton.setOnClickListener(new OnClickListener() {
-      public void onClick(View v) {
-        switchLanguage();
-      }});
-
-    final Button upButton = (Button) findViewById(R.id.UpButton);
-    upButton.setOnClickListener(new OnClickListener() {
-      public void onClick(View v) {
-        if (dictionary == null) {
-          return;
-        }
-        final int destRowIndex;
-        final Row tokenRow = activeLanguageData.rows.get(selectedTokenRowIndex);
-        assert tokenRow.isToken();
-        final int prevTokenIndex = tokenRow.getIndex() - 1;
-        if (selectedRowIndex == selectedTokenRowIndex && selectedRowIndex > 0) {
-          destRowIndex = activeLanguageData.sortedIndex.get(prevTokenIndex).startRow;
-        } else {
-          destRowIndex = selectedTokenRowIndex;
-        }
-        jumpToRow(destRowIndex);
-      }});
-    
-    final Button downButton = (Button) findViewById(R.id.DownButton);
-    downButton.setOnClickListener(new OnClickListener() {
-      public void onClick(View v) {
-        if (dictionary == null) {
-          return;
-        }
-        final Row tokenRow = activeLanguageData.rows.get(selectedTokenRowIndex);
-        assert tokenRow.isToken();
-        final int nextTokenIndex = tokenRow.getIndex() + 1;
-        final int destRowIndex;
-        if (nextTokenIndex < activeLanguageData.sortedIndex.size()) {
-          destRowIndex = activeLanguageData.sortedIndex.get(nextTokenIndex).startRow;
-        } else {
-          destRowIndex = activeLanguageData.rows.size() - 1;
-        }
-        jumpToRow(destRowIndex);
-      }});
-
-    // ContextMenu.
-    registerForContextMenu(getListView());
-
-    // ItemSelectedListener.
-    getListView().setOnItemSelectedListener(new OnItemSelectedListener() {
-      public void onItemSelected(AdapterView<?> arg0, View arg1, int rowIndex,
-          long arg3) {
-        if (activeLanguageData == null) {
-          return;
-        }
-        Log.d(LOG, "onItemSelected: " + rowIndex);        
-        selectedRowIndex = rowIndex;
-        selectedTokenRowIndex = activeLanguageData.getIndexEntryForRow(rowIndex).startRow;
-        updateSearchText();
-      }
-
-      public void onNothingSelected(AdapterView<?> arg0) {
-      }});
-    
-
-    // LongClickListener.
-    getListView().setOnItemLongClickListener((new OnItemLongClickListener() {
-      public boolean onItemLongClick(AdapterView<?> arg0, View arg1, int rowIndex,
-          long arg3) {
-        selectedRowIndex = rowIndex;
-        return false;
-      }
-    }));
-
-  }
-  
-  @Override
-  public void onResume() {
-    super.onResume();
-
-    // Have to close, because we might have downloaded a new copy of the dictionary.
-    closeCurrentDictionary();
-
-    final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);
-    wordList = new File(prefs.getString(getString(R.string.wordListFileKey), getString(R.string.wordListFileDefault)));
-    final File newDictFile = new File(prefs.getString(getString(R.string.dictFileKey), getString(R.string.dictFileDefault)));
-    dictFile = newDictFile;
-    Log.d(LOG, "wordList=" + wordList);
-    Log.d(LOG, "dictFile=" + dictFile);
-
-    if (!dictFile.canRead()) {
-      dictionaryListAdapter.notifyDataSetChanged();
-      Log.d(LOG, "Unable to read dictionary file.");
-      final AlertDialog alert = new AlertDialog.Builder(DictionaryActivity.this).create();
-      alert.setMessage(String.format(getString(R.string.unableToReadDictionaryFile), dictFile.getAbsolutePath()));
-      alert.setButton(getString(R.string.downloadDictionary), new DialogInterface.OnClickListener() {
-        public void onClick(DialogInterface dialog, int which) {
-          startDownloadDictActivity();
-        }});
-      alert.show();
-      return;
-    }
-    
-    final byte lang = prefs.getInt(PREF_DICT_ACTIVE_LANG, Entry.LANG1) == Entry.LANG1 ? Entry.LANG1 : Entry.LANG2;
-      
-    try {
-      dictRaf = new RandomAccessFile(dictFile, "r");
-      dictionary = new Dictionary(dictRaf);
-      activeLanguageData = dictionary.languageDatas[lang];
-      dictionaryListAdapter.notifyDataSetChanged();
-    } catch (Exception e) {
-      throw new RuntimeException(e);
-    }
-
-    updateLangButton();
-
-    final String searchText = prefs.getString(PREF_ACTIVE_SEARCH_TEXT, "");
-    getSearchText().setText(searchText);
-    onSearchTextChange(searchText);
-  }
-  
-  @Override
-  public void onPause() {
-    super.onPause();
-    if (activeLanguageData != null) {
-      final Editor prefs = PreferenceManager.getDefaultSharedPreferences(this).edit();
-      prefs.putInt(PREF_DICT_ACTIVE_LANG, activeLanguageData.lang);
-      prefs.putString(PREF_ACTIVE_SEARCH_TEXT, getSearchText().getText().toString());
-      prefs.commit();
-    }
-  }
-  
-  
-  @Override
-  public void onStop() {
-    super.onStop();
-    closeCurrentDictionary();
-  }
-
-  private void closeCurrentDictionary() {
-    dictionary = null;
-    activeLanguageData = null;
-    try {
-      if (dictRaf != null) {
-        dictRaf.close();
-      }
-    } catch (IOException e) {
-      throw new RuntimeException(e);
-    }
-    dictRaf = null;
-  }
-  
-  public String getSelectedRowRawText() {
-    return activeLanguageData.rowToString(activeLanguageData.rows.get(selectedRowIndex));
-  }
-  
-  public EditText getSearchText() {
-    return (EditText) findViewById(R.id.SearchText);
-  }
-  
-  // ----------------------------------------------------------------
-  // OptionsMenu
-  // ----------------------------------------------------------------
-
-  private MenuItem switchLanguageMenuItem = null;
-  
-
-  @Override
-  public boolean onCreateOptionsMenu(final Menu menu) {
-    switchLanguageMenuItem = menu.add(getString(R.string.switchToLanguage));
-    switchLanguageMenuItem.setOnMenuItemClickListener(new OnMenuItemClickListener(){
-      public boolean onMenuItemClick(final MenuItem menuItem) {
-        switchLanguage();
-        return false;
-      }});
-
-    final MenuItem preferences = menu.add(getString(R.string.preferences));
-    preferences.setOnMenuItemClickListener(new OnMenuItemClickListener(){
-      public boolean onMenuItemClick(final MenuItem menuItem) {
-        startActivity(preferencesIntent);
-        return false;
-      }});
-
-    final MenuItem about = menu.add(getString(R.string.about));
-    about.setOnMenuItemClickListener(new OnMenuItemClickListener(){
-      public boolean onMenuItemClick(final MenuItem menuItem) {
-        final Intent intent = new Intent().setClassName(AboutActivity.class.getPackage().getName(), AboutActivity.class.getCanonicalName());
-        final StringBuilder currentDictInfo = new StringBuilder();
-        if (dictionary == null) {
-          currentDictInfo.append(getString(R.string.noDictLoaded));
-        } else {
-          currentDictInfo.append(dictionary.dictionaryInfo).append("\n\n");
-          currentDictInfo.append("Entry count: " + dictionary.entries.size()).append("\n");
-          for (int i = 0; i < 2; ++i) {
-            final LanguageData languageData = dictionary.languageDatas[i]; 
-            currentDictInfo.append(languageData.language.symbol).append(":\n");
-            currentDictInfo.append("  Unique token count: " + languageData.sortedIndex.size()).append("\n");
-            currentDictInfo.append("  Row count: " + languageData.rows.size()).append("\n");
-          }
-        }
-        intent.putExtra(AboutActivity.CURRENT_DICT_INFO, currentDictInfo.toString());
-        startActivity(intent);
-        return false;
-      }});
-
-    final MenuItem download = menu.add(getString(R.string.downloadDictionary));
-    download.setOnMenuItemClickListener(new OnMenuItemClickListener(){
-      public boolean onMenuItemClick(final MenuItem menuItem) {
-        startDownloadDictActivity();
-        return false;
-      }});
-
-    return true;
-  }
-  
-  @Override
-  public boolean onPrepareOptionsMenu(final Menu menu) {
-    if (dictionary != null) {
-      switchLanguageMenuItem.setTitle(String.format(
-          getString(R.string.switchToLanguage), dictionary.languageDatas[Entry
-              .otherLang(activeLanguageData.lang)].language.symbol));
-    }
-    switchLanguageMenuItem.setEnabled(dictionary != null);
-    return super.onPrepareOptionsMenu(menu);
-  }
-
-  void switchLanguage() {
-    if (dictionary == null) {
-      return;
-    }
-    activeLanguageData = dictionary.languageDatas[(activeLanguageData == dictionary.languageDatas[0]) ? 1 : 0];
-    selectedRowIndex = 0;
-    selectedTokenRowIndex = 0;
-    updateLangButton();
-    dictionaryListAdapter.notifyDataSetChanged();
-    onSearchTextChange(getSearchText().getText().toString());
-  }
-  
-  void updateLangButton() {
-    final Button langButton = (Button) findViewById(R.id.LangButton);
-    langButton.setText(activeLanguageData.language.symbol);
-  }
-  
-  // ----------------------------------------------------------------
-  // ContextMenu
-  // ----------------------------------------------------------------
-  
-  @Override
-  public void onCreateContextMenu(ContextMenu menu, View v,
-      ContextMenuInfo menuInfo) {
-    if (selectedRowIndex == -1) {
-      return;
-    }
-    
-    final MenuItem addToWordlist = menu.add(String.format(getString(R.string.addToWordList), wordList.getName()));
-    addToWordlist.setOnMenuItemClickListener(new OnMenuItemClickListener() {
-      public boolean onMenuItemClick(MenuItem item) {
-        final StringBuilder rawText = new StringBuilder();
-        final String word = activeLanguageData.getIndexEntryForRow(selectedRowIndex).word;
-        rawText.append(new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date())).append("\t");
-        rawText.append(word).append("\t");
-        rawText.append(getSelectedRowRawText());
-        Log.d(LOG, "Writing : " + rawText);
-        try {
-          wordList.getParentFile().mkdirs();
-          final PrintWriter out = new PrintWriter(new FileWriter(wordList, true));
-          out.println(rawText.toString());
-          out.close();
-        } catch (IOException e) {
-          Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);
-          final AlertDialog alert = new AlertDialog.Builder(DictionaryActivity.this).create();
-          alert.setMessage("Failed to append to file: " + wordList.getAbsolutePath());
-          alert.show();
-        }
-        return false;
-      }
-    });
-
-    final MenuItem copy = menu.add(android.R.string.copy);
-    copy.setOnMenuItemClickListener(new OnMenuItemClickListener() {
-      public boolean onMenuItemClick(MenuItem item) {
-        Log.d(LOG, "Copy.");
-        final StringBuilder result = new StringBuilder();
-        result.append(getSelectedRowRawText());
-        final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);
-        clipboardManager.setText(result.toString());
-        return false;
-      }
-    });
-
-  }
-  
-  @Override
-  public boolean onKeyDown(int keyCode, KeyEvent event) {
-    if (event.getUnicodeChar() != 0) {
-      final EditText searchText = getSearchText();
-      if (!searchText.hasFocus()) {
-        searchText.setText("" + (char)event.getUnicodeChar());
-        onSearchTextChange(searchText.getText().toString());
-        searchText.requestFocus();
-      }
-      return true;
-    }
-    return super.onKeyDown(keyCode, event);
-  }
-
-  @Override
-  protected void onListItemClick(ListView l, View v, int row, long id) {
-    selectedRowIndex = row;
-    Log.d(LOG, "Clicked: " + getSelectedRowRawText());
-    openContextMenu(getListView());
-  }
-
-  void onSearchTextChange(final String searchText) {
-    Log.d(LOG, "onSearchTextChange: " + searchText);
-    if (dictionary == null) {
-      return;
-    }
-    if (searchOperation != null) {
-      searchOperation.interrupted.set(true);
-    }
-    searchOperation = new SearchOperation(searchText);
-    searchExecutor.execute(searchOperation);
-  }
-  
-  private void jumpToRow(final int rowIndex) {
-    Log.d(LOG, "jumpToRow: " + rowIndex);
-    selectedRowIndex = rowIndex;
-    selectedTokenRowIndex = activeLanguageData.getIndexEntryForRow(rowIndex).startRow;
-    getListView().setSelection(rowIndex);
-    getListView().setSelected(true);  // TODO: is this doing anything?
-    updateSearchText();
-  }
-
-  private void updateSearchText() {
-    final EditText searchText = getSearchText();
-    if (!searchText.hasFocus()) {
-      final String word = activeLanguageData.getIndexEntryForRow(selectedRowIndex).word;
-      if (!word.equals(searchText.getText().toString())) {
-        Log.d(LOG, "updateSearchText: setText: " + word);
-        searchText.setText(word);
-      }
-    }
-  }
-
-  private void startDownloadDictActivity() {
-    final Intent intent = new Intent().setClassName(
-        DownloadActivity.class.getPackage().getName(),
-        DownloadActivity.class.getCanonicalName());
-    final SharedPreferences settings = PreferenceManager.getDefaultSharedPreferences(DictionaryActivity.this);
-    final String dictFetchUrl = settings.getString(getString(R.string.dictFetchUrlKey), getString(R.string.dictFetchUrlDefault));
-    final String dictFileName = settings.getString(getString(R.string.dictFileKey), getString(R.string.dictFileDefault));
-    intent.putExtra(DownloadActivity.SOURCE, dictFetchUrl);
-    intent.putExtra(DownloadActivity.DEST, dictFileName);
-    startActivity(intent);
-  }
-
-  private final class SearchOperation implements Runnable {
-    final String searchText;
-    final AtomicBoolean interrupted = new AtomicBoolean(false);
-
-    public SearchOperation(final String searchText) {
-      this.searchText = searchText;
-    }
-
-    public void run() {
-      Log.d(LOG, "SearchOperation: " + searchText);
-      final int indexLocation = activeLanguageData.lookup(searchText, interrupted);
-      if (interrupted.get()) {
-        return;
-      }
-      final IndexEntry indexEntry = activeLanguageData.sortedIndex
-          .get(indexLocation);
-      Log.d(LOG, "SearchOperation completed: " + indexEntry.toString());
-      uiHandler.post(new Runnable() {
-        public void run() {
-          jumpToRow(indexEntry.startRow);
-        }
-      });
-    }
-  }
-
-  private class DictionaryListAdapter extends BaseAdapter {
-
-    public int getCount() {
-      if (dictionary == null) {
-        return 0;
-      }
-      return activeLanguageData.rows.size();
-    }
-
-    public Dictionary.Row getItem(int rowIndex) {
-      final LanguageData activeLanguageData = DictionaryActivity.this.activeLanguageData;
-      if (activeLanguageData == null) {
-        return null;
-      }
-      assert rowIndex < activeLanguageData.rows.size();
-      return activeLanguageData.rows.get(rowIndex);
-    }
-
-    public long getItemId(int rowIndex) {
-      return rowIndex;
-    }
-
-    public View getView(final int rowIndex, final View convertView,
-        final ViewGroup parent) {
-      final Row row = getItem(rowIndex);
-
-      // Token row.
-      if (row == null || row.isToken()) {
-        TextView result = null;
-        if (convertView instanceof TextView) {
-          result = (TextView) convertView;
-        } else {
-          result = new TextView(parent.getContext());
-        }
-        if (row == null) {
-          return result;
-        }
-        result.setText(activeLanguageData.rowToString(row));
-        result.setTextAppearance(parent.getContext(),
-            android.R.style.TextAppearance_Large);
-        result.setClickable(false);
-        return result;
-      }
-
-      // Entry row(s).
-      final TableLayout result = new TableLayout(parent.getContext());
-
-      final Entry entry = dictionary.entries.get(row.getIndex());
-      final int rowCount = entry.getRowCount();
-      for (int r = 0; r < rowCount; ++r) {
-        final TableRow tableRow = new TableRow(result.getContext());
-        
-        TextView column1 = new TextView(tableRow.getContext());
-        TextView column2 = new TextView(tableRow.getContext());
-        final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();
-        layoutParams.weight = 0.5f;
-        
-        if (r>0){
-          final TextView spacer = new TextView(tableRow.getContext());
-          spacer.setText(r == 0 ? "\95 " : " \95 ");
-          tableRow.addView(spacer);
-        }
-        tableRow.addView(column1, layoutParams);
-        if (r > 0) {
-          final TextView spacer = new TextView(tableRow.getContext());
-          spacer.setText(r == 0 ? "\95 " : " \95 ");
-          tableRow.addView(spacer);
-        }
-        tableRow.addView(column2, layoutParams);
-        
-        column1.setWidth(1);
-        column2.setWidth(1);
-        // column1.setTextAppearance(parent.getContext(), android.R.style.Text);
-        
-        // TODO: color words by gender
-        final String col1Text = entry.getAllText(activeLanguageData.lang)[r]; 
-        column1.setText(col1Text, TextView.BufferType.SPANNABLE);
-        final Spannable col1Spannable = (Spannable) column1.getText();
-        int startPos = 0;
-        final String token = activeLanguageData.getIndexEntryForRow(rowIndex).word;
-        while ((startPos = col1Text.indexOf(token, startPos)) != -1) {
-          col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos, startPos + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);
-         startPos += token.length();
-        }
-        
-        column2.setText(entry.getAllText(Entry.otherLang(activeLanguageData.lang))[r], TextView.BufferType.NORMAL);
-        
-        result.addView(tableRow);
-      }
-      
-      return result;
-    }
-  }  // DictionaryListAdapter
-
-  private class SearchTextWatcher implements TextWatcher {
-    public void afterTextChanged(final Editable searchText) {
-      if (getSearchText().hasFocus()) {
-        // If they were typing to cause the change, update the UI.
-        onSearchTextChange(searchText.toString());
-      }
-    }
-
-    public void beforeTextChanged(CharSequence arg0, int arg1, int arg2,
-        int arg3) {
-    }
-
-    public void onTextChanged(CharSequence arg0, int arg1, int arg2, int arg3) {
-    }
-  }
-  
-}
\ No newline at end of file
+// 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.List;\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
+import java.util.regex.Matcher;\r
+import java.util.regex.Pattern;\r
+\r
+import android.app.Activity;\r
+import android.app.Dialog;\r
+import android.app.ListActivity;\r
+import android.content.Context;\r
+import android.content.Intent;\r
+import android.content.SharedPreferences;\r
+import android.graphics.Typeface;\r
+import android.os.Bundle;\r
+import android.os.Handler;\r
+import android.preference.PreferenceManager;\r
+import android.text.ClipboardManager;\r
+import android.text.Editable;\r
+import android.text.Selection;\r
+import android.text.Spannable;\r
+import android.text.TextWatcher;\r
+import android.text.method.LinkMovementMethod;\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.MotionEvent;\r
+import android.view.View;\r
+import android.view.View.OnClickListener;\r
+import android.view.View.OnLongClickListener;\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.LinearLayout;\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.DictionaryInfo.IndexInfo;\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.IntentLauncher;\r
+import com.hughes.android.util.NonLinkClickableSpan;\r
+\r
+public class DictionaryActivity extends ListActivity {\r
+\r
+  static final String LOG = "QuickDic";\r
+  \r
+  DictionaryApplication application;\r
+  File dictFile = null;\r
+  RandomAccessFile dictRaf = null;\r
+  Dictionary dictionary = null;\r
+  int indexIndex = 0;\r
+  Index index = null;\r
+  \r
+  // package for test.\r
+  final Handler uiHandler = new Handler();\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
+  C.Theme theme = C.Theme.LIGHT;\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
+  public DictionaryActivity() {\r
+  }\r
+  \r
+  public static Intent getLaunchIntent(final File dictFile, final int indexIndex, final String searchToken) {\r
+    final Intent intent = new Intent();\r
+    intent.setClassName(DictionaryActivity.class.getPackage().getName(), DictionaryActivity.class.getName());\r
+    intent.putExtra(C.DICT_FILE, dictFile.getPath());\r
+    intent.putExtra(C.INDEX_INDEX, indexIndex);\r
+    intent.putExtra(C.SEARCH_TOKEN, searchToken);\r
+    return intent;\r
+  }\r
+  \r
+  @Override\r
+  protected void onSaveInstanceState(final Bundle outState) {\r
+    super.onSaveInstanceState(outState);\r
+    outState.putString(C.SEARCH_TOKEN, searchText.getText().toString());\r
+  }\r
+\r
+  @Override\r
+  protected void onRestoreInstanceState(final Bundle outState) {\r
+    super.onRestoreInstanceState(outState);\r
+    setSearchText(outState.getString(C.SEARCH_TOKEN));\r
+  }\r
+\r
+  @Override\r
+  public void onCreate(Bundle savedInstanceState) {    \r
+    Log.d(LOG, "onCreate:" + this);\r
+    super.onCreate(savedInstanceState);\r
+\r
+    application = (DictionaryApplication) getApplication();\r
+    theme = application.getSelectedTheme();\r
+\r
+    // Clear them so that if something goes wrong, we won't relaunch.\r
+    clearDictionaryPrefs(this);\r
+    \r
+    final Intent intent = getIntent();\r
+    dictFile = new File(intent.getStringExtra(C.DICT_FILE));\r
+    \r
+    try {\r
+      final String name = application.getDictionaryName(dictFile.getName());\r
+      this.setTitle("QuickDic: " + name);\r
+      dictRaf = new RandomAccessFile(dictFile, "r");\r
+      dictionary = new Dictionary(dictRaf); \r
+    } catch (Exception e) {\r
+      Log.e(LOG, "Unable to load dictionary.", e);\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(DictionaryManagerActivity.getLaunchIntent());\r
+      finish();\r
+      return;\r
+    }\r
+\r
+    Log.d(LOG, "Loading index.");\r
+    indexIndex = intent.getIntExtra(C.INDEX_INDEX, 0) % dictionary.indices.size();\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
+          Log.d(LOG, "Starting collator load for lang=" + index.sortLanguage.getIsoCode());\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
+          }\r
+        }\r
+        Log.d(LOG, "Loading collators took:"\r
+            + (System.currentTimeMillis() - startMillis));\r
+      }\r
+    });\r
+    \r
+    final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);\r
+    \r
+    final String fontSize = prefs.getString(getString(R.string.fontSizeKey), "14");\r
+    try {\r
+      fontSizeSp = Integer.parseInt(fontSize.trim());\r
+    } catch (NumberFormatException e) {\r
+      fontSizeSp = 12;\r
+    }\r
+\r
+    setContentView(R.layout.dictionary_activity);\r
+    searchText = (EditText) findViewById(R.id.SearchText);\r
+    searchText.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+    \r
+    langButton = (Button) findViewById(R.id.LangButton);\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
+      public void onClick(View v) {\r
+        onClearSearchTextButton(clearSearchTextButton);\r
+      }\r
+    });\r
+    clearSearchTextButton.setVisibility(PreferenceManager.getDefaultSharedPreferences(this).getBoolean(\r
+        getString(R.string.showClearSearchTextButtonKey), true) ? View.VISIBLE\r
+        : View.GONE);\r
+    \r
+    final Button langButton = (Button) findViewById(R.id.LangButton);\r
+    langButton.setOnClickListener(new OnClickListener() {\r
+      public void onClick(View v) {\r
+        onLanguageButton();\r
+      }\r
+    });\r
+    langButton.setOnLongClickListener(new OnLongClickListener() {\r
+      @Override\r
+      public boolean onLongClick(View v) {\r
+        onLanguageButtonLongClick(v.getContext());\r
+        return true;\r
+      }\r
+    });\r
+    updateLangButton();\r
+    \r
+    final Button upButton = (Button) findViewById(R.id.UpButton);\r
+    upButton.setOnClickListener(new OnClickListener() {\r
+      public void onClick(View v) {\r
+        onUpDownButton(true);\r
+      }\r
+    });\r
+    final Button downButton = (Button) findViewById(R.id.DownButton);\r
+    downButton.setOnClickListener(new OnClickListener() {\r
+      public void onClick(View v) {\r
+        onUpDownButton(false);\r
+      }\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
+    // 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
+    setDictionaryPrefs(this, dictFile, indexIndex, searchText.getText().toString());\r
+  }\r
+  \r
+  @Override\r
+  protected void onResume() {\r
+    super.onResume();\r
+    if (PreferenceActivity.prefsMightHaveChanged) {\r
+      PreferenceActivity.prefsMightHaveChanged = false;\r
+      finish();\r
+      startActivity(getIntent());\r
+    }\r
+  }\r
+  \r
+  @Override\r
+  protected void onPause() {\r
+    super.onPause();\r
+  }\r
+  \r
+  private static void setDictionaryPrefs(final Context context,\r
+      final File dictFile, final int indexIndex, final String searchToken) {\r
+    final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
+    prefs.putString(C.DICT_FILE, dictFile.getPath());\r
+    prefs.putInt(C.INDEX_INDEX, indexIndex);\r
+    prefs.putString(C.SEARCH_TOKEN, searchToken);\r
+    prefs.commit();\r
+  }\r
+\r
+  private static void clearDictionaryPrefs(final Context context) {\r
+    final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
+    prefs.remove(C.DICT_FILE);\r
+    prefs.remove(C.INDEX_INDEX);\r
+    prefs.remove(C.SEARCH_TOKEN);\r
+    prefs.commit();\r
+  }\r
+\r
+\r
+  @Override\r
+  protected void onDestroy() {\r
+    super.onDestroy();\r
+    if (dictRaf == null) {\r
+      return;\r
+    }\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
+  // Buttons\r
+  // --------------------------------------------------------------------------\r
+\r
+  private void onClearSearchTextButton(final Button clearSearchTextButton) {\r
+    clearSearchTextButton.requestFocus();\r
+    searchText.setText("");\r
+    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_FORCED);\r
+  }\r
+  \r
+  void updateLangButton() {\r
+    langButton.setText(index.shortName);\r
+  }\r
+\r
+  void onLanguageButton() {\r
+    if (currentSearchOperation != null) {\r
+      currentSearchOperation.interrupted.set(true);\r
+      currentSearchOperation = null;\r
+    }\r
+    changeIndex((indexIndex + 1)% dictionary.indices.size());\r
+  }\r
+  \r
+  static class OpenIndexButton extends Button implements OnClickListener {\r
+\r
+    final Activity activity;\r
+    final Intent intent;\r
+\r
+    public OpenIndexButton(final Context context, final Activity activity, final String text, final Intent intent) {\r
+      super(context);\r
+      this.activity = activity;\r
+      this.intent = intent;\r
+      setOnClickListener(this);\r
+      setText(text, BufferType.NORMAL);\r
+    }\r
+\r
+    @Override\r
+    public void onClick(View v) {\r
+      activity.finish();\r
+      getContext().startActivity(intent);\r
+    }\r
+    \r
+  }\r
+\r
+  void onLanguageButtonLongClick(final Context context) {\r
+    final Dialog dialog = new Dialog(context);\r
+    dialog.setContentView(R.layout.select_dictionary_dialog);\r
+    dialog.setTitle(R.string.selectDictionary);\r
+\r
+    final List<DictionaryInfo> installedDicts = ((DictionaryApplication)getApplication()).getUsableDicts();\r
+    ListView listView = (ListView) dialog.findViewById(android.R.id.list);\r
+    listView.setAdapter(new BaseAdapter() {\r
+      @Override\r
+      public View getView(int position, View convertView, ViewGroup parent) {\r
+        final LinearLayout result = new LinearLayout(parent.getContext());\r
+        final DictionaryInfo dictionaryInfo = getItem(position);\r
+        for (int i = 0; i < dictionaryInfo.indexInfos.size(); ++i) {\r
+          final IndexInfo indexInfo = dictionaryInfo.indexInfos.get(i);\r
+          final Button button = new Button(parent.getContext());\r
+          String name = application.getLanguageName(indexInfo.shortName);\r
+          if (name == null) {\r
+            name = indexInfo.shortName;\r
+          }\r
+          button.setText(name);\r
+          final IntentLauncher intentLauncher = new IntentLauncher(parent.getContext(), getLaunchIntent(application.getPath(dictionaryInfo.uncompressedFilename), i, "")) {\r
+            @Override\r
+            protected void onGo() {\r
+              dialog.dismiss();\r
+              DictionaryActivity.this.finish();\r
+            };\r
+          };\r
+          button.setOnClickListener(intentLauncher);\r
+          \r
+          final LinearLayout.LayoutParams layoutParams = new LinearLayout.LayoutParams(ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT);\r
+          layoutParams.width = 0;\r
+          layoutParams.weight = 1.0f;\r
+          button.setLayoutParams(layoutParams);\r
+\r
+          result.addView(button);\r
+        }\r
+        return result;\r
+      }\r
+      \r
+      @Override\r
+      public long getItemId(int position) {\r
+        return position;\r
+      }\r
+      \r
+      @Override\r
+      public DictionaryInfo getItem(int position) {\r
+        return installedDicts.get(position);\r
+      }\r
+      \r
+      @Override\r
+      public int getCount() {\r
+        return installedDicts.size();\r
+      }\r
+    });\r
+    \r
+    dialog.show();\r
+  }\r
+\r
+\r
+  private void changeIndex(final int newIndex) {\r
+    indexIndex = newIndex;\r
+    index = dictionary.indices.get(indexIndex);\r
+    indexAdapter = new IndexAdapter(index);\r
+    Log.d(LOG, "changingIndex, newLang=" + index.longName);\r
+    setListAdapter(indexAdapter);\r
+    updateLangButton();\r
+    searchText.requestFocus();  // Otherwise, nothing may happen.\r
+    onSearchTextChange(searchText.getText().toString());\r
+  }\r
+  \r
+  void onUpDownButton(final boolean up) {\r
+    final int firstVisibleRow = getListView().getFirstVisiblePosition();\r
+    final RowBase row = index.rows.get(firstVisibleRow);\r
+    final TokenRow tokenRow = row.getTokenRow(true);\r
+    final int destIndexEntry;\r
+    if (up) {\r
+      if (row != tokenRow) {\r
+        destIndexEntry = tokenRow.referenceIndex;\r
+      } else {\r
+        destIndexEntry = Math.max(tokenRow.referenceIndex - 1, 0);\r
+      }\r
+    } else {\r
+      // Down\r
+      destIndexEntry = Math.min(tokenRow.referenceIndex + 1, index.sortedIndexEntries.size());\r
+    }\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
+    application.onCreateGlobalOptionsMenu(this, menu);\r
+\r
+    {\r
+      final MenuItem dictionaryList = menu.add(getString(R.string.dictionaryManager));\r
+      dictionaryList.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+        public boolean onMenuItemClick(final MenuItem menuItem) {\r
+          startActivity(DictionaryManagerActivity.getLaunchIntent());\r
+          finish();\r
+          return false;\r
+        }\r
+      });\r
+    }\r
+\r
+    return true;\r
+  }\r
+\r
+\r
+  // --------------------------------------------------------------------------\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
+    if (selectedSpannableText != null) {\r
+      final String selectedText = selectedSpannableText;\r
+      final MenuItem searchForSelection = menu.add(getString(R.string.searchForSelection, selectedSpannableText));\r
+      searchForSelection.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+        public boolean onMenuItemClick(MenuItem item) {\r
+          if (indexIndex != selectedSpannableIndex) {\r
+            changeIndex(selectedSpannableIndex);\r
+          }\r
+          setSearchText(selectedText);\r
+          return false;\r
+        }\r
+      });\r
+    }\r
+    \r
+\r
+  }\r
+  \r
+  @Override\r
+  protected void onListItemClick(ListView l, View v, int row, long id) {\r
+    defocusSearchText();\r
+    \r
+    if (clickOpensContextMenu && dictRaf != null) {\r
+      openContextMenu(v);\r
+    }\r
+  }\r
+  \r
+  void onAppendToWordList(final RowBase row) {\r
+    defocusSearchText();\r
+    \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
+    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
+  /**\r
+   * Called when user clicks outside of search text, so that they can start\r
+   * typing again immediately.\r
+   */\r
+  void defocusSearchText() {\r
+    //Log.d(LOG, "defocusSearchText");\r
+    // Request focus so that if we start typing again, it clears the text input.\r
+    getListView().requestFocus();\r
+    \r
+    // Visual indication that a new keystroke will clear the search text.\r
+    searchText.selectAll();\r
+  }\r
+\r
+  void onCopy(final RowBase row) {\r
+    defocusSearchText();\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
+        setSearchText("" + (char) event.getUnicodeChar());\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 inputManager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);\r
+      inputManager.hideSoftInputFromWindow(this.getCurrentFocus().getWindowToken(), InputMethodManager.HIDE_NOT_ALWAYS);\r
+      return true;\r
+    }\r
+    return super.onKeyDown(keyCode, event);\r
+  }\r
+\r
+  private void setSearchText(final String text) {\r
+    searchText.setText(text);\r
+    searchText.requestFocus();\r
+    onSearchTextChange(searchText.getText().toString());\r
+    Selection.moveToRightEdge(searchText.getText(), searchText.getLayout());\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.IndexEntry searchResult = searchOperation.searchResult;\r
+    Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);\r
+\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
+    }, 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
+    setSelection(row);\r
+    getListView().setSelected(true);\r
+  }\r
+\r
+  final class SearchOperation implements Runnable {\r
+    \r
+    final AtomicBoolean interrupted = new AtomicBoolean(false);\r
+    final String searchText;\r
+    final Index index;\r
+    \r
+    long searchStartMillis;\r
+\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
+      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
+\r
+  \r
+  // --------------------------------------------------------------------------\r
+  // IndexAdapter\r
+  // --------------------------------------------------------------------------\r
+\r
+  final class IndexAdapter extends BaseAdapter {\r
+    \r
+    final Index index;\r
+\r
+    IndexAdapter(final Index index) {\r
+      this.index = index;\r
+    }\r
+\r
+    @Override\r
+    public int getCount() {\r
+      return index.rows.size();\r
+    }\r
+\r
+    @Override\r
+    public RowBase getItem(int position) {\r
+      return index.rows.get(position);\r
+    }\r
+\r
+    @Override\r
+    public long getItemId(int position) {\r
+      return getItem(position).index();\r
+    }\r
+\r
+    @Override\r
+    public View getView(int position, final View convertView, ViewGroup parent) {\r
+      final RowBase row = index.rows.get(position);\r
+      if (row instanceof PairEntry.Row) {\r
+        return getView((PairEntry.Row) row, parent, convertView);\r
+      } else if (row instanceof TokenRow) {\r
+        return getView((TokenRow) row, parent, convertView);\r
+      } else {\r
+        throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());\r
+      }\r
+    }\r
+\r
+    private View getView(PairEntry.Row row, ViewGroup parent, final View convertView) {\r
+      final TableLayout result = new TableLayout(parent.getContext());\r
+      final PairEntry entry = row.getEntry();\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
+        final TextView col1 = new TextView(tableRow.getContext());\r
+        final TextView col2 = new TextView(tableRow.getContext());\r
+        final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();\r
+        layoutParams.weight = 0.5f;\r
+\r
+        // Set the columns in the table.\r
+        if (r > 0) {\r
+          final TextView bullet = new TextView(tableRow.getContext());\r
+          bullet.setText(" • ");\r
+          tableRow.addView(bullet);\r
+        }\r
+        tableRow.addView(col1, layoutParams);\r
+        final TextView margin = new TextView(tableRow.getContext());\r
+        margin.setText(" ");\r
+        tableRow.addView(margin);\r
+        if (r > 0) {\r
+          final TextView bullet = new TextView(tableRow.getContext());\r
+          bullet.setText(" • ");\r
+          tableRow.addView(bullet);\r
+        }\r
+        tableRow.addView(col2, layoutParams);\r
+        col1.setWidth(1);\r
+        col2.setWidth(1);\r
+        \r
+        // Set what's in the columns.\r
+\r
+        // TODO: color words by gender\r
+        final Pair pair = entry.pairs.get(r);\r
+        final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;\r
+        final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;\r
+        \r
+        col1.setText(col1Text, TextView.BufferType.SPANNABLE);\r
+        col2.setText(col2Text, TextView.BufferType.SPANNABLE);\r
+        \r
+        // Bold the token instances in col1.\r
+        final Spannable col1Spannable = (Spannable) col1.getText();\r
+        int startPos = 0;\r
+        final String token = row.getTokenRow(true).getToken();\r
+        while ((startPos = col1Text.indexOf(token, startPos)) != -1) {\r
+          col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos,\r
+              startPos + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);\r
+          startPos += token.length();\r
+        }\r
+        \r
+        createTokenLinkSpans(col1, col1Spannable, col1Text);\r
+        createTokenLinkSpans(col2, (Spannable) col2.getText(), col2Text);\r
+        \r
+        col1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+        col2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+        // col2.setBackgroundResource(theme.otherLangBg);\r
+        \r
+        if (index.swapPairEntries) {\r
+          col2.setOnLongClickListener(textViewLongClickListenerIndex0);\r
+          col1.setOnLongClickListener(textViewLongClickListenerIndex1);\r
+        } else {\r
+          col1.setOnLongClickListener(textViewLongClickListenerIndex0);\r
+          col2.setOnLongClickListener(textViewLongClickListenerIndex1);\r
+        }\r
+        \r
+        result.addView(tableRow);\r
+      }\r
+\r
+      return result;\r
+\r
+      \r
+//      final WebView result = (WebView) (convertView instanceof WebView ? convertView : new WebView(parent.getContext()));\r
+//        \r
+//      final PairEntry entry = row.getEntry();\r
+//      final int rowCount = entry.pairs.size();\r
+//      final StringBuilder html = new StringBuilder();\r
+//      html.append("<html><body><table width=\"100%\">");\r
+//      for (int r = 0; r < rowCount; ++r) {\r
+//        html.append("<tr>");\r
+//\r
+//        final Pair pair = entry.pairs.get(r);\r
+//        // TODO: escape both the token and the text.\r
+//        final String token = row.getTokenRow(true).getToken();\r
+//        final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;\r
+//        final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;\r
+//        \r
+//        col1Text.replaceAll(token, String.format("<b>%s</b>", token));\r
+//\r
+//        // Column1\r
+//        html.append("<td width=\"50%\">");\r
+//        if (r > 0) {\r
+//          html.append("<li>");\r
+//        }\r
+//        html.append(col1Text);\r
+//        html.append("</td>");\r
+//\r
+//        // Column2\r
+//        html.append("<td width=\"50%\">");\r
+//        if (r > 0) {\r
+//          html.append("<li>");\r
+//        }\r
+//        html.append(col2Text);\r
+//        html.append("</td>");\r
+//\r
+////        column1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+////        column2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+//\r
+//        html.append("</tr>");\r
+//      }\r
+//      html.append("</table></body></html>");\r
+//      \r
+//      Log.i(LOG, html.toString());\r
+//      \r
+//      result.getSettings().setRenderPriority(RenderPriority.HIGH);\r
+//      result.getSettings().setCacheMode(WebSettings.LOAD_NO_CACHE);\r
+//      \r
+//      result.loadData("<html><body><table><tr><td>line (connected series of public conveyances, and hence, an established arrangement for forwarding merchandise, etc.) (noun)</td><td>verbinding</td></tr></table></body></html>", "text/html", "utf-8");\r
+//\r
+//      return result;\r
+    }\r
+\r
+    private View getView(TokenRow row, ViewGroup parent, final View convertView) {\r
+      final Context context = parent.getContext();\r
+      final TextView textView = new TextView(context);\r
+      textView.setText(row.getToken());\r
+      textView.setBackgroundResource(row.hasMainEntry ? theme.tokenRowMainBg : theme.tokenRowOtherBg);\r
+      // Doesn't work:\r
+      //textView.setTextColor(android.R.color.secondary_text_light);\r
+      textView.setTextAppearance(context, theme.tokenRowFg);\r
+      textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, 5 * fontSizeSp / 4);\r
+      return textView;\r
+    }\r
+    \r
+  }\r
+\r
+  static final Pattern CHAR_DASH = Pattern.compile("['\\p{L}0-9]+");\r
+\r
+  private void createTokenLinkSpans(final TextView textView, final Spannable spannable, final String text) {\r
+    // Saw from the source code that LinkMovementMethod sets the selection!\r
+    // http://grepcode.com/file/repository.grepcode.com/java/ext/com.google.android/android/2.3.1_r1/android/text/method/LinkMovementMethod.java#LinkMovementMethod\r
+    textView.setMovementMethod(LinkMovementMethod.getInstance());\r
+    final Matcher matcher = CHAR_DASH.matcher(text);\r
+    while (matcher.find()) {\r
+      spannable.setSpan(new NonLinkClickableSpan(), matcher.start(), matcher.end(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);\r
+    }\r
+  }\r
+  \r
+\r
+  String selectedSpannableText = null;\r
+  int selectedSpannableIndex = -1;\r
+\r
+  @Override\r
+  public boolean onTouchEvent(MotionEvent event) {\r
+    selectedSpannableText = null;\r
+    selectedSpannableIndex = -1;\r
+    return super.onTouchEvent(event);\r
+  }\r
+\r
+  private class TextViewLongClickListener implements OnLongClickListener {\r
+    final int index;\r
+    \r
+    private TextViewLongClickListener(final int index) {\r
+      this.index = index;\r
+    }\r
+\r
+    @Override\r
+    public boolean onLongClick(final View v) {\r
+      final TextView textView = (TextView) v;\r
+      final int start = textView.getSelectionStart();\r
+      final int end = textView.getSelectionEnd();\r
+      if (start >= 0 &&  end >= 0) {\r
+        selectedSpannableText = textView.getText().subSequence(start, end).toString();\r
+        selectedSpannableIndex = index;\r
+      }\r
+      return false;\r
+    }\r
+  }\r
+  final TextViewLongClickListener textViewLongClickListenerIndex0 = new TextViewLongClickListener(0);\r
+  final TextViewLongClickListener textViewLongClickListenerIndex1 = new TextViewLongClickListener(1);\r
+  \r
+\r
+  // --------------------------------------------------------------------------\r
+  // SearchText\r
+  // --------------------------------------------------------------------------\r
+\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(text, index);\r
+    searchExecutor.execute(currentSearchOperation);\r
+  }\r
+  \r
+  private class SearchTextWatcher implements TextWatcher {\r
+    public void afterTextChanged(final Editable searchTextEditable) {\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
+    }\r
+\r
+    public void beforeTextChanged(CharSequence arg0, int arg1, int arg2,\r
+        int arg3) {\r
+    }\r
+\r
+    public void onTextChanged(CharSequence arg0, int arg1, int arg2, int arg3) {\r
+    }\r
+  }\r
+\r
+}\r