]> gitweb.fperrin.net Git - Dictionary.git/blobdiff - src/com/hughes/android/dictionary/DictionaryActivity.java
Add floating button to switch language.
[Dictionary.git] / src / com / hughes / android / dictionary / DictionaryActivity.java
index eb907f8150ef02bf9ed4af80d4f6209b77af8918..356e957ebaf8788645e898a1ac3d6b801ba04e7b 100644 (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.Arrays;\r
-import java.util.Collections;\r
-import java.util.Date;\r
-import java.util.LinkedHashSet;\r
-import java.util.List;\r
-import java.util.Random;\r
-import java.util.Set;\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.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.net.Uri;\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.WindowManager;\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.ImageView;\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.EntrySource;\r
-import com.hughes.android.dictionary.engine.Index;\r
-import com.hughes.android.dictionary.engine.Index.IndexEntry;\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
-  private String initialSearchText;\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
-  List<RowBase> rowsToShow = null;  // if not null, just show these rows.\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
-  /**\r
-   * For some languages, loading the transliterators used in this search takes\r
-   * a long time, so we fire it up on a different thread, and don't invoke it\r
-   * from the main thread until it's already finished once.\r
-   */\r
-  private volatile boolean indexPrepFinished = false;\r
-\r
-\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
-    Log.d(LOG, "onSaveInstanceState: " + searchText.getText().toString());\r
-    outState.putInt(C.INDEX_INDEX, indexIndex);\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
-    Log.d(LOG, "onRestoreInstanceState: " + outState.getString(C.SEARCH_TOKEN));\r
-    onCreate(outState);\r
-  }\r
-\r
-  @Override\r
-  public void onCreate(Bundle savedInstanceState) { \r
-    setTheme(((DictionaryApplication)getApplication()).getSelectedTheme().themeId);\r
-\r
-    Log.d(LOG, "onCreate:" + this);\r
-    super.onCreate(savedInstanceState);\r
-\r
-    application = (DictionaryApplication) getApplication();\r
-    theme = application.getSelectedTheme();\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).show();\r
-      startActivity(DictionaryManagerActivity.getLaunchIntent());\r
-      finish();\r
-      return;\r
-    }\r
-    indexIndex = intent.getIntExtra(C.INDEX_INDEX, 0);\r
-    if (savedInstanceState != null) {\r
-      indexIndex = savedInstanceState.getInt(C.INDEX_INDEX, indexIndex);\r
-    }\r
-    indexIndex %= dictionary.indices.size();\r
-    Log.d(LOG, "Loading index " + indexIndex);\r
-    index = dictionary.indices.get(indexIndex);\r
-    setListAdapter(new IndexAdapter(index));\r
-    \r
-    // Pre-load the collators.\r
-    new Thread(new Runnable() {\r
-      public void run() {\r
-        final long startMillis = System.currentTimeMillis();\r
-        try {\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
-            final String searchToken = index.sortedIndexEntries.get(0).token;\r
-            final IndexEntry entry = index.findExact(searchToken);\r
-            if (!searchToken.equals(entry.token)) {\r
-              Log.e(LOG, "Couldn't find token: " + searchToken + ", " + entry.token);\r
-            }\r
-          }\r
-          indexPrepFinished = true;\r
-        } catch (Exception e) {\r
-          Log.w(LOG, "Exception while prepping.  This can happen if dictionary is closed while search is happening.");\r
-        }\r
-          Log.d(LOG, "Prepping indices took:"\r
-              + (System.currentTimeMillis() - startMillis));\r
-      }\r
-    }).start();\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
-    String text = "";\r
-    if (savedInstanceState != null) {\r
-      text = savedInstanceState.getString(C.SEARCH_TOKEN);\r
-      if (text == null) {\r
-        text = "";\r
-      }\r
-    }\r
-    setSearchText(text, true);\r
-    Log.d(LOG, "Trying to restore searchText=" + text);\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
-          if (!isFiltered()) {\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
-\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
-    if (initialSearchText != null) {\r
-      setSearchText(initialSearchText, true);\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
-  @Override\r
-  protected void onDestroy() {\r
-    super.onDestroy();\r
-    if (dictRaf == null) {\r
-      return;\r
-    }\r
-\r
-    final SearchOperation searchOperation = currentSearchOperation;\r
-    currentSearchOperation = null;\r
-\r
-    // Before we close the RAF, we have to wind the current search down.\r
-    if (searchOperation != null) {\r
-      Log.d(LOG, "Interrupting search to shut down.");\r
-      currentSearchOperation = null;\r
-      searchOperation.interrupted.set(true);\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
-    setSearchText("", true);\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
-  }\r
-  \r
-  void updateLangButton() {\r
-//    final LanguageResources languageResources = Language.isoCodeToResources.get(index.shortName);\r
-//    if (languageResources != null && languageResources.flagId != 0) {\r
-//      langButton.setCompoundDrawablesWithIntrinsicBounds(0, 0, languageResources.flagId, 0);\r
-//    } else {\r
-//      langButton.setCompoundDrawablesWithIntrinsicBounds(0, 0, 0, 0);\r
-      langButton.setText(index.shortName);\r
-//    }\r
-  }\r
-\r
-  void onLanguageButton() {\r
-    if (currentSearchOperation != null) {\r
-      currentSearchOperation.interrupted.set(true);\r
-      currentSearchOperation = null;\r
-    }\r
-    changeIndexGetFocusAndResearch((indexIndex + 1)% dictionary.indices.size());\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
-          final Button button = new Button(parent.getContext());\r
-          final String name = application.getDictionaryName(dictionaryInfo.uncompressedFilename);\r
-          button.setText(name);\r
-          final IntentLauncher intentLauncher = new IntentLauncher(parent.getContext(), getLaunchIntent(application.getPath(dictionaryInfo.uncompressedFilename), 0, "")) {\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
-        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 changeIndexGetFocusAndResearch(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
-    setDictionaryPrefs(this, dictFile, indexIndex, searchText.getText().toString());\r
-  }\r
-  \r
-  void onUpDownButton(final boolean up) {\r
-    if (isFiltered()) {\r
-      return;\r
-    }\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
-    if (searchText.getLayout() != null) {\r
-      // Surprising, but this can otherwise crash sometimes...\r
-      Selection.moveToRightEdge(searchText.getText(), searchText.getLayout());\r
-    }\r
-    jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);\r
-    searchText.addTextChangedListener(searchTextWatcher);\r
-  }\r
-\r
-  // --------------------------------------------------------------------------\r
-  // Options Menu\r
-  // --------------------------------------------------------------------------\r
-  \r
-  final Random random = new Random();\r
-  \r
-  @Override\r
-  public boolean onCreateOptionsMenu(final Menu menu) {\r
-    application.onCreateGlobalOptionsMenu(this, menu);\r
-\r
-    {\r
-      final MenuItem randomWord = menu.add(getString(R.string.randomWord));\r
-      randomWord.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
-        public boolean onMenuItemClick(final MenuItem menuItem) {\r
-          final String word = index.sortedIndexEntries.get(random.nextInt(index.sortedIndexEntries.size())).token;\r
-          setSearchText(word, true);\r
-          return false;\r
-        }\r
-      });\r
-    }\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
-    {\r
-      final MenuItem aboutDictionary = menu.add(getString(R.string.aboutDictionary));\r
-      aboutDictionary.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
-        public boolean onMenuItemClick(final MenuItem menuItem) {\r
-          final Context context = getListView().getContext();\r
-          final Dialog dialog = new Dialog(context);\r
-          dialog.setContentView(R.layout.about_dictionary_dialog);\r
-          final TextView textView = (TextView) dialog.findViewById(R.id.text);\r
-\r
-          final String name = application.getDictionaryName(dictFile.getName());\r
-          dialog.setTitle(name);\r
-          \r
-          final StringBuilder builder = new StringBuilder();\r
-          final DictionaryInfo dictionaryInfo = dictionary.getDictionaryInfo();\r
-          dictionaryInfo.uncompressedBytes = dictFile.length();\r
-          if (dictionaryInfo != null) {\r
-            builder.append(dictionaryInfo.dictInfo).append("\n\n");\r
-            builder.append(getString(R.string.dictionaryPath, dictFile.getPath())).append("\n");\r
-            builder.append(getString(R.string.dictionarySize, dictionaryInfo.uncompressedBytes)).append("\n");\r
-            builder.append(getString(R.string.dictionaryCreationTime, dictionaryInfo.creationMillis)).append("\n");\r
-            for (final IndexInfo indexInfo : dictionaryInfo.indexInfos) {\r
-              builder.append("\n");\r
-              builder.append(getString(R.string.indexName, indexInfo.shortName)).append("\n");\r
-              builder.append(getString(R.string.mainTokenCount, indexInfo.mainTokenCount)).append("\n");\r
-            }\r
-            builder.append("\n");\r
-            builder.append(getString(R.string.sources)).append("\n");\r
-            for (final EntrySource source : dictionary.sources) {\r
-              builder.append(getString(R.string.sourceInfo, source.getName(), source.getNumEntries())).append("\n");\r
-            }\r
-          }\r
-//          } else {\r
-//            builder.append(getString(R.string.invalidDictionary));\r
-//          }\r
-          textView.setText(builder.toString());\r
-          \r
-          dialog.show();\r
-          final WindowManager.LayoutParams layoutParams = new WindowManager.LayoutParams();\r
-          layoutParams.width = WindowManager.LayoutParams.FILL_PARENT;\r
-          layoutParams.height = WindowManager.LayoutParams.FILL_PARENT;\r
-          dialog.getWindow().setAttributes(layoutParams);\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
-          int indexToUse = -1;\r
-          for (int i = 0; i < dictionary.indices.size(); ++i) {\r
-            final Index index = dictionary.indices.get(i);\r
-            if (indexPrepFinished) {\r
-              System.out.println("Doing index lookup: on " + selectedText);\r
-              final IndexEntry indexEntry = index.findExact(selectedText);\r
-              if (indexEntry != null) {\r
-                final TokenRow tokenRow = index.rows.get(indexEntry.startRow).getTokenRow(false);\r
-                if (tokenRow != null && tokenRow.hasMainEntry) {\r
-                  indexToUse = i;\r
-                  break;\r
-                }\r
-              }\r
-            } else {\r
-              Log.w(LOG, "Skipping findExact on index " + index.shortName);\r
-            }\r
-          }\r
-          if (indexToUse == -1) {\r
-            indexToUse = selectedSpannableIndex;\r
-          }\r
-          final boolean changeIndex = indexIndex != indexToUse;\r
-          setSearchText(selectedText, !changeIndex);  // If we're not changing index, we have to triggerSearch.\r
-          if (changeIndex) {\r
-            changeIndexGetFocusAndResearch(indexToUse);\r
-          }\r
-          // Give focus back to list view because typing is done.\r
-          getListView().requestFocus();\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
-    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(), true);\r
-      }\r
-      return true;\r
-    }\r
-    if (keyCode == KeyEvent.KEYCODE_BACK) {\r
-      Log.d(LOG, "Clearing dictionary prefs.");\r
-      // Pretend that we just autolaunched so that we won't do it again.\r
-      DictionaryManagerActivity.lastAutoLaunchMillis = System.currentTimeMillis();\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, final boolean triggerSearch) {\r
-    if (!triggerSearch) {\r
-      getListView().requestFocus();\r
-    }\r
-    searchText.setText(text);\r
-    searchText.requestFocus();\r
-    if (searchText.getLayout() != null) {\r
-      // Surprising, but this can crash when you rotate...\r
-      Selection.moveToRightEdge(searchText.getText(), searchText.getLayout());\r
-    }\r
-    if (triggerSearch) {\r
-      onSearchTextChange(text);\r
-    }\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
-    uiHandler.postDelayed(new Runnable() {\r
-      @Override\r
-      public void run() {\r
-        if (currentSearchOperation == null) {\r
-          if (searchResult != null) {\r
-            if (isFiltered()) {\r
-              clearFiltered();\r
-            }\r
-            jumpToRow(searchResult.startRow);\r
-          } else if (searchOperation.multiWordSearchResult != null) {\r
-            // Multi-row search....\r
-            setFiltered(searchOperation);\r
-          } else {\r
-            throw new IllegalStateException("This should never happen.");\r
-          }\r
-        } else {\r
-          Log.d(LOG, "More coming, waiting for currentSearchOperation.");\r
-        }\r
-      }\r
-    }, 20);\r
-    \r
-  }\r
-  \r
-  private final void jumpToRow(final int row) {\r
-    setSelection(row);\r
-    getListView().setSelected(true);\r
-  }\r
-\r
-  static final Pattern WHITESPACE = Pattern.compile("\\s+");\r
-  final class SearchOperation implements Runnable {\r
-    \r
-    final AtomicBoolean interrupted = new AtomicBoolean(false);\r
-    final String searchText;\r
-    List<String> searchTokens;  // filled in for multiWord.\r
-    final Index index;\r
-    \r
-    long searchStartMillis;\r
-\r
-    Index.IndexEntry searchResult;\r
-    List<RowBase> multiWordSearchResult;\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
-        final String[] searchTokenArray = WHITESPACE.split(searchText);\r
-        if (searchTokenArray.length == 1) {\r
-          searchResult = index.findInsertionPoint(searchText, interrupted);\r
-        } else {\r
-          searchTokens = Arrays.asList(searchTokenArray);\r
-          multiWordSearchResult = index.multiWordSearch(searchTokens, interrupted);\r
-        }\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
-      } catch (Exception e) {\r
-        Log.e(LOG, "Failure during search (can happen during Activity close.");\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
-    final List<RowBase> rows;\r
-    final Set<String> toHighlight;\r
-\r
-    IndexAdapter(final Index index) {\r
-      this.index = index;\r
-      rows = index.rows;\r
-      this.toHighlight = null;\r
-    }\r
-\r
-    IndexAdapter(final Index index, final List<RowBase> rows, final List<String> toHighlight) {\r
-      this.index = index;\r
-      this.rows = rows;\r
-      this.toHighlight = new LinkedHashSet<String>(toHighlight);\r
-    }\r
-\r
-    @Override\r
-    public int getCount() {\r
-      return rows.size();\r
-    }\r
-\r
-    @Override\r
-    public RowBase getItem(int position) {\r
-      return rows.get(position);\r
-    }\r
-\r
-    @Override\r
-    public long getItemId(int position) {\r
-      return getItem(position).index();\r
-    }\r
-\r
-    @Override\r
-    public TableLayout getView(int position, View convertView, ViewGroup parent) {\r
-      final TableLayout result;\r
-      if (convertView instanceof TableLayout) {\r
-        result = (TableLayout) convertView;\r
-        result.removeAllViews();\r
-      } else {\r
-        result = new TableLayout(parent.getContext());\r
-      }\r
-      final RowBase row = getItem(position);\r
-      if (row instanceof PairEntry.Row) {\r
-        return getView(position, (PairEntry.Row) row, parent, result);\r
-      } else if (row instanceof TokenRow) {\r
-        return getView((TokenRow) row, parent, result);\r
-      } else {\r
-        throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());\r
-      }\r
-    }\r
-\r
-    private TableLayout getView(final int position, PairEntry.Row row, ViewGroup parent, final TableLayout result) {\r
-      final PairEntry entry = row.getEntry();\r
-      final int rowCount = entry.pairs.size();\r
-      \r
-      final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();\r
-      layoutParams.weight = 0.5f;\r
-      \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
-\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
-        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 Set<String> toBold = toHighlight != null ? this.toHighlight : Collections.singleton(row.getTokenRow(true).getToken());\r
-        final Spannable col1Spannable = (Spannable) col1.getText();\r
-        for (final String token : toBold) {\r
-          int startPos = 0;\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
-        \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
-      // Because we have a Button inside a ListView row:\r
-      // http://groups.google.com/group/android-developers/browse_thread/thread/3d96af1530a7d62a?pli=1\r
-      result.setDescendantFocusability(ViewGroup.FOCUS_BLOCK_DESCENDANTS);\r
-      result.setClickable(true);\r
-      result.setFocusable(true);\r
-      result.setLongClickable(true);\r
-      result.setBackgroundResource(android.R.drawable.menuitem_background);\r
-      result.setOnClickListener(new TextView.OnClickListener() {\r
-        @Override\r
-        public void onClick(View v) {\r
-          DictionaryActivity.this.onListItemClick(getListView(), v, position, position);\r
-        }\r
-      });\r
-\r
-      return result;\r
-    }\r
-\r
-    private TableLayout getView(TokenRow row, ViewGroup parent, final TableLayout result) {\r
-      final Context context = parent.getContext();\r
-      final TextView textView = new TextView(context);\r
-      textView.setText(row.getToken());\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
-      \r
-      final TableRow tableRow = new TableRow(result.getContext());\r
-      tableRow.addView(textView);\r
-      tableRow.setBackgroundResource(row.hasMainEntry ? theme.tokenRowMainBg : theme.tokenRowOtherBg);\r
-      result.addView(tableRow);\r
-      return result;\r
-    }\r
-    \r
-  }\r
-\r
-  static final Pattern CHAR_DASH = Pattern.compile("['\\p{L}\\p{M}\\p{N}]+");\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 ("thadolina".equals(text)) {\r
-      final Dialog dialog = new Dialog(getListView().getContext());\r
-      dialog.setContentView(R.layout.thadolina_dialog);\r
-      dialog.setTitle("Ti amo, amore mio!");\r
-      final ImageView imageView = (ImageView) dialog.findViewById(R.id.thadolina_image);\r
-      imageView.setOnClickListener(new OnClickListener() {\r
-        @Override\r
-        public void onClick(View v) {\r
-          final Intent intent = new Intent(Intent.ACTION_VIEW);\r
-          intent.setData(Uri.parse("https://sites.google.com/site/cfoxroxvday/vday2012"));\r
-          startActivity(intent);\r
-        }\r
-      });\r
-      dialog.show();\r
-    }\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
-  // Filtered results.\r
-  // --------------------------------------------------------------------------\r
-\r
-  boolean isFiltered() {\r
-    return rowsToShow != null;\r
-  }\r
-\r
-  void setFiltered(final SearchOperation searchOperation) {\r
-    ((Button) findViewById(R.id.UpButton)).setEnabled(false);\r
-    ((Button) findViewById(R.id.DownButton)).setEnabled(false);\r
-    rowsToShow = searchOperation.multiWordSearchResult;\r
-    setListAdapter(new IndexAdapter(index, rowsToShow, searchOperation.searchTokens));\r
-  }\r
-\r
-  void clearFiltered() {\r
-    ((Button) findViewById(R.id.UpButton)).setEnabled(true);\r
-    ((Button) findViewById(R.id.DownButton)).setEnabled(true);\r
-    setListAdapter(new IndexAdapter(index));\r
-    rowsToShow = null;\r
-  }\r
-\r
-}\r
+// Copyright 2011 Google Inc. All Rights Reserved.
+// Some Parts Copyright 2013 Dominik Köppl
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+package com.hughes.android.dictionary;
+
+import android.annotation.SuppressLint;
+import android.app.Dialog;
+import android.app.SearchManager;
+import android.content.Context;
+import android.content.Intent;
+import android.content.SharedPreferences;
+import android.graphics.Color;
+import android.graphics.Typeface;
+import android.net.Uri;
+import android.os.Bundle;
+import android.os.Handler;
+import android.preference.PreferenceManager;
+import android.speech.tts.TextToSpeech;
+import android.speech.tts.TextToSpeech.OnInitListener;
+import android.support.v4.view.MenuItemCompat;
+import android.support.v7.app.ActionBar;
+import android.support.v7.app.ActionBarActivity;
+import android.support.v7.widget.SearchView;
+import android.support.v7.widget.SearchView.OnQueryTextListener;
+import android.support.v7.widget.Toolbar;
+import android.text.ClipboardManager;
+import android.text.InputType;
+import android.text.Spannable;
+import android.text.method.LinkMovementMethod;
+import android.text.style.ClickableSpan;
+import android.text.style.StyleSpan;
+import android.util.Log;
+import android.util.TypedValue;
+import android.view.ContextMenu;
+import android.view.ContextMenu.ContextMenuInfo;
+import android.view.Gravity;
+import android.view.KeyEvent;
+import android.view.Menu;
+import android.view.MenuItem;
+import android.view.MenuItem.OnMenuItemClickListener;
+import android.view.MotionEvent;
+import android.view.View;
+import android.view.View.OnClickListener;
+import android.view.View.OnLongClickListener;
+import android.view.ViewGroup;
+import android.view.WindowManager;
+import android.view.inputmethod.EditorInfo;
+import android.view.inputmethod.InputMethodManager;
+import android.widget.AdapterView;
+import android.widget.AdapterView.AdapterContextMenuInfo;
+import android.widget.AdapterView.OnItemClickListener;
+import android.widget.BaseAdapter;
+import android.widget.Button;
+import android.widget.FrameLayout;
+import android.widget.ImageButton;
+import android.widget.ImageView;
+import android.widget.ImageView.ScaleType;
+import android.widget.LinearLayout;
+import android.widget.ListAdapter;
+import android.widget.ListView;
+import android.widget.TableLayout;
+import android.widget.TableRow;
+import android.widget.TextView;
+import android.widget.TextView.BufferType;
+import android.widget.Toast;
+
+import com.hughes.android.dictionary.DictionaryInfo.IndexInfo;
+import com.hughes.android.dictionary.engine.Dictionary;
+import com.hughes.android.dictionary.engine.EntrySource;
+import com.hughes.android.dictionary.engine.HtmlEntry;
+import com.hughes.android.dictionary.engine.Index;
+import com.hughes.android.dictionary.engine.Index.IndexEntry;
+import com.hughes.android.dictionary.engine.Language.LanguageResources;
+import com.hughes.android.dictionary.engine.PairEntry;
+import com.hughes.android.dictionary.engine.PairEntry.Pair;
+import com.hughes.android.dictionary.engine.RowBase;
+import com.hughes.android.dictionary.engine.TokenRow;
+import com.hughes.android.dictionary.engine.TransliteratorManager;
+import com.hughes.android.util.IntentLauncher;
+import com.hughes.android.util.NonLinkClickableSpan;
+import com.hughes.util.StringUtil;
+
+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.Arrays;
+import java.util.Collections;
+import java.util.Date;
+import java.util.HashMap;
+import java.util.LinkedHashSet;
+import java.util.List;
+import java.util.Locale;
+import java.util.Random;
+import java.util.Set;
+import java.util.concurrent.Executor;
+import java.util.concurrent.Executors;
+import java.util.concurrent.ThreadFactory;
+import java.util.concurrent.atomic.AtomicBoolean;
+import java.util.regex.Matcher;
+import java.util.regex.Pattern;
+
+public class DictionaryActivity extends ActionBarActivity {
+
+    static final String LOG = "QuickDic";
+
+    DictionaryApplication application;
+
+    File dictFile = null;
+    RandomAccessFile dictRaf = null;
+
+    Dictionary dictionary = null;
+
+    int indexIndex = 0;
+
+    Index index = null;
+
+    List<RowBase> rowsToShow = null; // if not null, just show these rows.
+
+    final Random rand = new Random();
+
+    final Handler uiHandler = new Handler();
+
+    private final Executor searchExecutor = Executors.newSingleThreadExecutor(new ThreadFactory() {
+        @Override
+        public Thread newThread(Runnable r) {
+            return new Thread(r, "searchExecutor");
+        }
+    });
+
+    private SearchOperation currentSearchOperation = null;
+
+    TextToSpeech textToSpeech;
+    volatile boolean ttsReady;
+
+    Typeface typeface;
+    DictionaryApplication.Theme theme = DictionaryApplication.Theme.LIGHT;
+    int textColorFg = Color.BLACK;
+    int fontSizeSp;
+
+    private ListView listView;
+    private ListView getListView() {
+        if (listView == null) {
+            listView = (ListView)findViewById(android.R.id.list);
+        }
+        return listView;
+    }
+
+    private void setListAdapter(ListAdapter adapter) {
+        getListView().setAdapter(adapter);
+    }
+
+    private ListAdapter getListAdapter() {
+        return getListView().getAdapter();
+    }
+
+    SearchView searchView;
+    ImageButton languageButton;
+    SearchView.OnQueryTextListener onQueryTextListener;
+
+    MenuItem nextWordMenuItem, previousWordMenuItem, randomWordMenuItem;
+
+    // Never null.
+    private File wordList = null;
+    private boolean saveOnlyFirstSubentry = false;
+    private boolean clickOpensContextMenu = false;
+
+    // Visible for testing.
+    ListAdapter indexAdapter = null;
+
+    /**
+     * For some languages, loading the transliterators used in this search takes
+     * a long time, so we fire it up on a different thread, and don't invoke it
+     * from the main thread until it's already finished once.
+     */
+    private volatile boolean indexPrepFinished = false;
+
+    public DictionaryActivity() {
+    }
+
+    public static Intent getLaunchIntent(Context c, final File dictFile, final String indexShortName,
+            final String searchToken) {
+        final Intent intent = new Intent(c, DictionaryActivity.class);
+        intent.putExtra(C.DICT_FILE, dictFile.getPath());
+        intent.putExtra(C.INDEX_SHORT_NAME, indexShortName);
+        intent.putExtra(C.SEARCH_TOKEN, searchToken);
+        return intent;
+    }
+
+    @Override
+    protected void onSaveInstanceState(final Bundle outState) {
+        super.onSaveInstanceState(outState);
+        Log.d(LOG, "onSaveInstanceState: " + searchView.getQuery().toString());
+        outState.putString(C.INDEX_SHORT_NAME, index.shortName);
+        outState.putString(C.SEARCH_TOKEN, searchView.getQuery().toString());
+    }
+
+    @Override
+    public void onCreate(Bundle savedInstanceState) {
+        // This needs to be before super.onCreate, otherwise ActionbarSherlock
+        // doesn't makes the background of the actionbar white when you're
+        // in the dark theme.
+        setTheme(((DictionaryApplication) getApplication()).getSelectedTheme().themeId);
+
+        Log.d(LOG, "onCreate:" + this);
+        super.onCreate(savedInstanceState);
+
+        final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);
+
+        // Don't auto-launch if this fails.
+        prefs.edit().remove(C.DICT_FILE).commit();
+
+        setContentView(R.layout.dictionary_activity);
+
+        application = (DictionaryApplication) getApplication();
+        theme = application.getSelectedTheme();
+        textColorFg = getResources().getColor(theme.tokenRowFgColor);
+
+        final Intent intent = getIntent();
+        String intentAction = intent.getAction();
+        /**
+         * @author Dominik Köppl Querying the Intent
+         *         com.hughes.action.ACTION_SEARCH_DICT is the advanced query
+         *         Arguments: SearchManager.QUERY -> the phrase to search from
+         *         -> language in which the phrase is written to -> to which
+         *         language shall be translated
+         */
+        if (intentAction != null && intentAction.equals("com.hughes.action.ACTION_SEARCH_DICT"))
+        {
+            String query = intent.getStringExtra(SearchManager.QUERY);
+            String from = intent.getStringExtra("from");
+            if (from != null)
+                from = from.toLowerCase(Locale.US);
+            String to = intent.getStringExtra("to");
+            if (to != null)
+                to = to.toLowerCase(Locale.US);
+            if (query != null)
+            {
+                getIntent().putExtra(C.SEARCH_TOKEN, query);
+            }
+            if (intent.getStringExtra(C.DICT_FILE) == null && (from != null || to != null))
+            {
+                Log.d(LOG, "DictSearch: from: " + from + " to " + to);
+                List<DictionaryInfo> dicts = application.getDictionariesOnDevice(null);
+                for (DictionaryInfo info : dicts)
+                {
+                    boolean hasFrom = from == null;
+                    boolean hasTo = to == null;
+                    for (IndexInfo index : info.indexInfos)
+                    {
+                        if (!hasFrom && index.shortName.toLowerCase(Locale.US).equals(from))
+                            hasFrom = true;
+                        if (!hasTo && index.shortName.toLowerCase(Locale.US).equals(to))
+                            hasTo = true;
+                    }
+                    if (hasFrom && hasTo)
+                    {
+                        if (from != null)
+                        {
+                            int which_index = 0;
+                            for (; which_index < info.indexInfos.size(); ++which_index)
+                            {
+                                if (info.indexInfos.get(which_index).shortName.toLowerCase(
+                                        Locale.US).equals(from))
+                                    break;
+                            }
+                            intent.putExtra(C.INDEX_SHORT_NAME,
+                                    info.indexInfos.get(which_index).shortName);
+
+                        }
+                        intent.putExtra(C.DICT_FILE, application.getPath(info.uncompressedFilename)
+                                .toString());
+                        break;
+                    }
+                }
+
+            }
+        }
+        /**
+         * @author Dominik Köppl Querying the Intent Intent.ACTION_SEARCH is a
+         *         simple query Arguments follow from android standard (see
+         *         documentation)
+         */
+        if (intentAction != null && intentAction.equals(Intent.ACTION_SEARCH))
+        {
+            String query = intent.getStringExtra(SearchManager.QUERY);
+            if (query != null)
+                getIntent().putExtra(C.SEARCH_TOKEN, query);
+        }
+        /**
+         * @author Dominik Köppl If no dictionary is chosen, use the default
+         *         dictionary specified in the preferences If this step does
+         *         fail (no default directory specified), show a toast and
+         *         abort.
+         */
+        if (intent.getStringExtra(C.DICT_FILE) == null)
+        {
+            String dictfile = prefs.getString(getString(R.string.defaultDicKey), null);
+            if (dictfile != null)
+                intent.putExtra(C.DICT_FILE, application.getPath(dictfile).toString());
+        }
+        String dictFilename = intent.getStringExtra(C.DICT_FILE);
+
+        if (dictFilename == null)
+        {
+            Toast.makeText(this, getString(R.string.no_dict_file), Toast.LENGTH_LONG).show();
+            startActivity(DictionaryManagerActivity.getLaunchIntent(getApplicationContext()));
+            finish();
+            return;
+        }
+        if (dictFilename != null)
+            dictFile = new File(dictFilename);
+
+        ttsReady = false;
+        textToSpeech = new TextToSpeech(getApplicationContext(), new OnInitListener() {
+            @Override
+            public void onInit(int status) {
+                ttsReady = true;
+                updateTTSLanguage(indexIndex);
+            }
+        });
+
+        try {
+            final String name = application.getDictionaryName(dictFile.getName());
+            this.setTitle("QuickDic: " + name);
+            dictRaf = new RandomAccessFile(dictFile, "r");
+            dictionary = new Dictionary(dictRaf);
+        } catch (Exception e) {
+            Log.e(LOG, "Unable to load dictionary.", e);
+            if (dictRaf != null) {
+                try {
+                    dictRaf.close();
+                } catch (IOException e1) {
+                    Log.e(LOG, "Unable to close dictRaf.", e1);
+                }
+                dictRaf = null;
+            }
+            Toast.makeText(this, getString(R.string.invalidDictionary, "", e.getMessage()),
+                    Toast.LENGTH_LONG).show();
+            startActivity(DictionaryManagerActivity.getLaunchIntent(getApplicationContext()));
+            finish();
+            return;
+        }
+        String targetIndex = intent.getStringExtra(C.INDEX_SHORT_NAME);
+        if (savedInstanceState != null && savedInstanceState.getString(C.INDEX_SHORT_NAME) != null) {
+            targetIndex = savedInstanceState.getString(C.INDEX_SHORT_NAME);
+        }
+        indexIndex = 0;
+        for (int i = 0; i < dictionary.indices.size(); ++i) {
+            if (dictionary.indices.get(i).shortName.equals(targetIndex)) {
+                indexIndex = i;
+                break;
+            }
+        }
+        Log.d(LOG, "Loading index " + indexIndex);
+        index = dictionary.indices.get(indexIndex);
+        getListView().setEmptyView(findViewById(android.R.id.empty));
+        setListAdapter(new IndexAdapter(index));
+
+        // Pre-load the collators.
+        new Thread(new Runnable() {
+            public void run() {
+                android.os.Process.setThreadPriority(android.os.Process.THREAD_PRIORITY_BACKGROUND);
+                final long startMillis = System.currentTimeMillis();
+                try {
+                    TransliteratorManager.init(new TransliteratorManager.Callback() {
+                        @Override
+                        public void onTransliteratorReady() {
+                            uiHandler.post(new Runnable() {
+                                @Override
+                                public void run() {
+                                    onSearchTextChange(searchView.getQuery().toString());
+                                }
+                            });
+                        }
+                    });
+
+                    for (final Index index : dictionary.indices) {
+                        final String searchToken = index.sortedIndexEntries.get(0).token;
+                        final IndexEntry entry = index.findExact(searchToken);
+                        if (entry == null || !searchToken.equals(entry.token)) {
+                            Log.e(LOG, "Couldn't find token: " + searchToken + ", " + (entry == null ? "null" : entry.token));
+                        }
+                    }
+                    indexPrepFinished = true;
+                } catch (Exception e) {
+                    Log.w(LOG,
+                            "Exception while prepping.  This can happen if dictionary is closed while search is happening.");
+                }
+                Log.d(LOG, "Prepping indices took:" + (System.currentTimeMillis() - startMillis));
+            }
+        }).start();
+
+        String fontName = prefs.getString(getString(R.string.fontKey), "FreeSerif.otf.jpg");
+        if ("SYSTEM".equals(fontName)) {
+            typeface = Typeface.DEFAULT;
+       } else if ("SERIF".equals(fontName)) {
+            typeface = Typeface.SERIF;
+       } else if ("SANS_SERIF".equals(fontName)) {
+            typeface = Typeface.SANS_SERIF;
+       } else if ("MONOSPACE".equals(fontName)) {
+            typeface = Typeface.MONOSPACE;
+        } else {
+            if ("FreeSerif.ttf.jpg".equals(fontName)) {
+                fontName = "FreeSerif.otf.jpg";
+            }
+            try {
+                typeface = Typeface.createFromAsset(getAssets(), fontName);
+            } catch (Exception e) {
+                Log.w(LOG, "Exception trying to use typeface, using default.", e);
+                Toast.makeText(this, getString(R.string.fontFailure, e.getLocalizedMessage()),
+                        Toast.LENGTH_LONG).show();
+            }
+        }
+        if (typeface == null) {
+            Log.w(LOG, "Unable to create typeface, using default.");
+            typeface = Typeface.DEFAULT;
+        }
+        final String fontSize = prefs.getString(getString(R.string.fontSizeKey), "14");
+        try {
+            fontSizeSp = Integer.parseInt(fontSize.trim());
+        } catch (NumberFormatException e) {
+            fontSizeSp = 14;
+        }
+
+        // ContextMenu.
+        registerForContextMenu(getListView());
+
+        // Cache some prefs.
+        wordList = application.getWordListFile();
+        saveOnlyFirstSubentry = prefs.getBoolean(getString(R.string.saveOnlyFirstSubentryKey),
+                false);
+        clickOpensContextMenu = prefs.getBoolean(getString(R.string.clickOpensContextMenuKey),
+                false);
+        Log.d(LOG, "wordList=" + wordList + ", saveOnlyFirstSubentry=" + saveOnlyFirstSubentry);
+
+        onCreateSetupActionBarAndSearchView();
+
+        View floatSwapButton = findViewById(R.id.floatSwapButton);
+        floatSwapButton.setOnClickListener(new OnClickListener() {
+            @Override
+            public void onClick(View arg0) {
+                onLanguageButtonClick();
+            }
+        });
+        floatSwapButton.setOnLongClickListener(new OnLongClickListener() {
+            @Override
+            public boolean onLongClick(View v) {
+                onLanguageButtonLongClick(v.getContext());
+                return true;
+            }
+        });
+
+        // Set the search text from the intent, then the saved state.
+        String text = getIntent().getStringExtra(C.SEARCH_TOKEN);
+        if (savedInstanceState != null) {
+            text = savedInstanceState.getString(C.SEARCH_TOKEN);
+        }
+        if (text == null) {
+            text = "";
+        }
+        setSearchText(text, true);
+        Log.d(LOG, "Trying to restore searchText=" + text);
+
+        setDictionaryPrefs(this, dictFile, index.shortName, searchView.getQuery().toString());
+
+        updateLangButton();
+        searchView.requestFocus();
+
+        // http://stackoverflow.com/questions/2833057/background-listview-becomes-black-when-scrolling
+//        getListView().setCacheColorHint(0);
+    }
+
+    private void onCreateSetupActionBarAndSearchView() {
+        ActionBar actionBar = getSupportActionBar();
+        actionBar.setDisplayShowTitleEnabled(false);
+        actionBar.setDisplayShowHomeEnabled(false);
+        actionBar.setDisplayHomeAsUpEnabled(false);
+
+        final LinearLayout customSearchView = new LinearLayout(getSupportActionBar().getThemedContext());
+
+        final LinearLayout.LayoutParams layoutParams = new LinearLayout.LayoutParams(
+                ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT);
+        customSearchView.setLayoutParams(layoutParams);
+
+        listView.setOnItemClickListener(new OnItemClickListener() {
+            @Override
+            public void onItemClick(AdapterView<?> parent, View view, int row, long id) {
+                onListItemClick(getListView(), view, row, id);
+            }
+        });
+
+        languageButton = new ImageButton(customSearchView.getContext());
+        languageButton.setScaleType(ScaleType.FIT_CENTER);
+        languageButton.setOnClickListener(new OnClickListener() {
+            @Override
+            public void onClick(View arg0) {
+                onLanguageButtonClick();
+            }
+        });
+        languageButton.setOnLongClickListener(new OnLongClickListener() {
+            @Override
+            public boolean onLongClick(View v) {
+                onLanguageButtonLongClick(v.getContext());
+                return true;
+            }
+        });
+        languageButton.setAdjustViewBounds(true);
+        LinearLayout.LayoutParams lpb = new LinearLayout.LayoutParams(application.languageButtonPixels, LinearLayout.LayoutParams.MATCH_PARENT);
+        customSearchView.addView(languageButton, lpb);
+
+        searchView = new SearchView(getSupportActionBar().getThemedContext());
+
+        // Get rid of search icon, it takes up too much space.
+        // There is still text saying "search" in the search field.
+        searchView.setIconifiedByDefault(true);
+        searchView.setIconified(false);
+
+        searchView.setQueryHint(getString(R.string.searchText));
+        searchView.setSubmitButtonEnabled(false);
+        searchView.setInputType(InputType.TYPE_CLASS_TEXT);
+        searchView.setImeOptions(
+                EditorInfo.IME_ACTION_DONE |
+                        EditorInfo.IME_FLAG_NO_EXTRACT_UI |
+                        // EditorInfo.IME_FLAG_NO_FULLSCREEN | // Requires API
+                        // 11
+                        EditorInfo.TYPE_TEXT_FLAG_NO_SUGGESTIONS);
+        onQueryTextListener = new OnQueryTextListener() {
+            @Override
+            public boolean onQueryTextSubmit(String query) {
+                Log.d(LOG, "OnQueryTextListener: onQueryTextSubmit: " + searchView.getQuery());
+                hideKeyboard();
+                return true;
+            }
+
+            @Override
+            public boolean onQueryTextChange(String newText) {
+                Log.d(LOG, "OnQueryTextListener: onQueryTextChange: " + searchView.getQuery());
+                onSearchTextChange(searchView.getQuery().toString());
+                return true;
+            }
+        };
+        searchView.setOnQueryTextListener(onQueryTextListener);
+        searchView.setFocusable(true);
+        LinearLayout.LayoutParams lp = new LinearLayout.LayoutParams(0,
+                FrameLayout.LayoutParams.WRAP_CONTENT, 1);
+        customSearchView.addView(searchView, lp);
+
+        actionBar.setCustomView(customSearchView);
+        actionBar.setDisplayShowCustomEnabled(true);
+
+       // Avoid wasting space on large left inset
+        Toolbar tb = (Toolbar)customSearchView.getParent();
+        tb.setContentInsetsRelative(0, 0);
+    }
+
+    @Override
+    protected void onResume() {
+        Log.d(LOG, "onResume");
+        super.onResume();
+        if (PreferenceActivity.prefsMightHaveChanged) {
+            PreferenceActivity.prefsMightHaveChanged = false;
+            finish();
+            startActivity(getIntent());
+        }
+        showKeyboard();
+    }
+
+    @Override
+    protected void onPause() {
+        super.onPause();
+    }
+
+    @Override
+    /**
+     * Invoked when MyWebView returns, since the user might have clicked some
+     * hypertext in the MyWebView.
+     */
+    protected void onActivityResult(int requestCode, int resultCode, Intent result) {
+        super.onActivityResult(requestCode, resultCode, result);
+        if (result != null && result.hasExtra(C.SEARCH_TOKEN)) {
+            Log.d(LOG, "onActivityResult: " + result.getStringExtra(C.SEARCH_TOKEN));
+            jumpToTextFromHyperLink(result.getStringExtra(C.SEARCH_TOKEN), indexIndex);
+        }
+    }
+
+    private static void setDictionaryPrefs(final Context context, final File dictFile,
+            final String indexShortName, final String searchToken) {
+        final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(
+                context).edit();
+        prefs.putString(C.DICT_FILE, dictFile.getPath());
+        prefs.putString(C.INDEX_SHORT_NAME, indexShortName);
+        prefs.putString(C.SEARCH_TOKEN, ""); // Don't need to save search token.
+        prefs.commit();
+    }
+
+    @Override
+    protected void onDestroy() {
+        super.onDestroy();
+        if (dictRaf == null) {
+            return;
+        }
+
+        final SearchOperation searchOperation = currentSearchOperation;
+        currentSearchOperation = null;
+
+        // Before we close the RAF, we have to wind the current search down.
+        if (searchOperation != null) {
+            Log.d(LOG, "Interrupting search to shut down.");
+            currentSearchOperation = null;
+            searchOperation.interrupted.set(true);
+        }
+
+        try {
+            Log.d(LOG, "Closing RAF.");
+            dictRaf.close();
+        } catch (IOException e) {
+            Log.e(LOG, "Failed to close dictionary", e);
+        }
+        dictRaf = null;
+    }
+
+    // --------------------------------------------------------------------------
+    // Buttons
+    // --------------------------------------------------------------------------
+
+    private void showKeyboard() {
+        // For some reason, this doesn't always work the first time.
+        // One way to replicate the problem:
+        // Press the "task switch" button repeatedly to pause and resume
+        for (int delay = 1; delay <= 101; delay += 100) {
+            searchView.postDelayed(new Runnable() {
+                @Override
+                public void run() {
+                    Log.d(LOG, "Trying to show soft keyboard.");
+                    final boolean searchTextHadFocus = searchView.hasFocus();
+                    searchView.requestFocusFromTouch();
+                    final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);
+                    manager.showSoftInput(searchView, InputMethodManager.SHOW_IMPLICIT);
+                    if (!searchTextHadFocus) {
+                        defocusSearchText();
+                    }
+                }
+            }, delay);
+        }
+    }
+
+    private void hideKeyboard() {
+        Log.d(LOG, "Hide soft keyboard.");
+        searchView.clearFocus();
+        InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);
+        manager.hideSoftInputFromWindow(searchView.getWindowToken(), 0);
+    }
+
+    void updateLangButton() {
+        final LanguageResources languageResources =
+                DictionaryApplication.isoCodeToResources.get(index.shortName);
+        if (languageResources != null && languageResources.flagId != 0) {
+            languageButton.setImageResource(languageResources.flagId);
+        } else {
+            if (indexIndex % 2 == 0) {
+                languageButton.setImageResource(android.R.drawable.ic_media_next);
+            } else {
+                languageButton.setImageResource(android.R.drawable.ic_media_previous);
+            }
+        }
+        updateTTSLanguage(indexIndex);
+    }
+
+    private void updateTTSLanguage(int i) {
+        if (!ttsReady || index == null || textToSpeech == null) {
+            Log.d(LOG, "Can't updateTTSLanguage.");
+            return;
+        }
+        final Locale locale = new Locale(dictionary.indices.get(i).sortLanguage.getIsoCode());
+        Log.d(LOG, "Setting TTS locale to: " + locale);
+        try {
+        final int ttsResult = textToSpeech.setLanguage(locale);
+        if (ttsResult != TextToSpeech.LANG_AVAILABLE &&
+                ttsResult != TextToSpeech.LANG_COUNTRY_AVAILABLE) {
+            Log.e(LOG, "TTS not available in this language: ttsResult=" + ttsResult);
+        }
+        } catch (Exception e) {
+            Toast.makeText(this, getString(R.string.TTSbroken), Toast.LENGTH_LONG).show();
+        }
+    }
+
+    void onLanguageButtonClick() {
+        if (dictionary.indices.size() == 1) {
+            // No need to work to switch indices.
+            return;
+        }
+        if (currentSearchOperation != null) {
+            currentSearchOperation.interrupted.set(true);
+            currentSearchOperation = null;
+        }
+        setIndexAndSearchText((indexIndex + 1) % dictionary.indices.size(),
+                searchView.getQuery().toString(), false);
+    }
+
+    void onLanguageButtonLongClick(final Context context) {
+        final Dialog dialog = new Dialog(context);
+        dialog.setContentView(R.layout.select_dictionary_dialog);
+        dialog.setTitle(R.string.selectDictionary);
+
+        final List<DictionaryInfo> installedDicts = application.getDictionariesOnDevice(null);
+
+        ListView listView = (ListView) dialog.findViewById(android.R.id.list);
+        final Button button = new Button(listView.getContext());
+        final String name = getString(R.string.dictionaryManager);
+        button.setText(name);
+        final IntentLauncher intentLauncher = new IntentLauncher(listView.getContext(),
+                DictionaryManagerActivity.getLaunchIntent(getApplicationContext())) {
+            @Override
+            protected void onGo() {
+                dialog.dismiss();
+                DictionaryActivity.this.finish();
+            }
+        };
+        button.setOnClickListener(intentLauncher);
+        listView.addHeaderView(button);
+
+        listView.setAdapter(new BaseAdapter() {
+            @Override
+            public View getView(int position, View convertView, ViewGroup parent) {
+                final DictionaryInfo dictionaryInfo = getItem(position);
+
+                final LinearLayout result = new LinearLayout(parent.getContext());
+
+                for (int i = 0; i < dictionaryInfo.indexInfos.size(); ++i) {
+                    final IndexInfo indexInfo = dictionaryInfo.indexInfos.get(i);
+                    final View button = application.createButton(parent.getContext(),
+                            dictionaryInfo, indexInfo);
+                    final IntentLauncher intentLauncher = new IntentLauncher(parent.getContext(),
+                            getLaunchIntent(getApplicationContext(),
+                                    application.getPath(dictionaryInfo.uncompressedFilename),
+                                    indexInfo.shortName, searchView.getQuery().toString())) {
+                        @Override
+                        protected void onGo() {
+                            dialog.dismiss();
+                            DictionaryActivity.this.finish();
+                        }
+                    };
+                    button.setOnClickListener(intentLauncher);
+                    if (i == indexIndex && dictFile != null &&
+                        dictFile.getName().equals(dictionaryInfo.uncompressedFilename)) {
+                        button.setPressed(true);
+                    }
+                    result.addView(button);
+                }
+
+                final TextView nameView = new TextView(parent.getContext());
+                final String name = application
+                        .getDictionaryName(dictionaryInfo.uncompressedFilename);
+                nameView.setText(name);
+                final LinearLayout.LayoutParams layoutParams = new LinearLayout.LayoutParams(
+                        ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT);
+                layoutParams.width = 0;
+                layoutParams.weight = 1.0f;
+                nameView.setLayoutParams(layoutParams);
+                nameView.setGravity(Gravity.CENTER_VERTICAL);
+                result.addView(nameView);
+                return result;
+            }
+
+            @Override
+            public long getItemId(int position) {
+                return position;
+            }
+
+            @Override
+            public DictionaryInfo getItem(int position) {
+                return installedDicts.get(position);
+            }
+
+            @Override
+            public int getCount() {
+                return installedDicts.size();
+            }
+        });
+        dialog.show();
+    }
+
+    void onUpDownButton(final boolean up) {
+        if (isFiltered()) {
+            return;
+        }
+        final int firstVisibleRow = getListView().getFirstVisiblePosition();
+        final RowBase row = index.rows.get(firstVisibleRow);
+        final TokenRow tokenRow = row.getTokenRow(true);
+        final int destIndexEntry;
+        if (up) {
+            if (row != tokenRow) {
+                destIndexEntry = tokenRow.referenceIndex;
+            } else {
+                destIndexEntry = Math.max(tokenRow.referenceIndex - 1, 0);
+            }
+        } else {
+            // Down
+            destIndexEntry = Math.min(tokenRow.referenceIndex + 1, index.sortedIndexEntries.size() - 1);
+        }
+        final Index.IndexEntry dest = index.sortedIndexEntries.get(destIndexEntry);
+        Log.d(LOG, "onUpDownButton, destIndexEntry=" + dest.token);
+        setSearchText(dest.token, false);
+        jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);
+        defocusSearchText();
+    }
+
+    void onRandomWordButton() {
+        int destIndexEntry = rand.nextInt(index.sortedIndexEntries.size());
+        final Index.IndexEntry dest = index.sortedIndexEntries.get(destIndexEntry);
+        setSearchText(dest.token, false);
+        jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);
+        defocusSearchText();
+    }
+
+    // --------------------------------------------------------------------------
+    // Options Menu
+    // --------------------------------------------------------------------------
+
+    final Random random = new Random();
+
+    @Override
+    public boolean onCreateOptionsMenu(final Menu menu) {
+
+        if (PreferenceManager.getDefaultSharedPreferences(this)
+                .getBoolean(getString(R.string.showPrevNextButtonsKey), true)) {
+            // Next word.
+            nextWordMenuItem = menu.add(getString(R.string.nextWord))
+                    .setIcon(R.drawable.arrow_down_float);
+            MenuItemCompat.setShowAsAction(nextWordMenuItem, MenuItem.SHOW_AS_ACTION_IF_ROOM);
+            nextWordMenuItem.setOnMenuItemClickListener(new OnMenuItemClickListener() {
+                @Override
+                public boolean onMenuItemClick(MenuItem item) {
+                    onUpDownButton(false);
+                    return true;
+                }
+            });
+
+            // Previous word.
+            previousWordMenuItem = menu.add(getString(R.string.previousWord))
+                    .setIcon(R.drawable.arrow_up_float);
+            MenuItemCompat.setShowAsAction(previousWordMenuItem, MenuItem.SHOW_AS_ACTION_IF_ROOM);
+            previousWordMenuItem.setOnMenuItemClickListener(new OnMenuItemClickListener() {
+                @Override
+                public boolean onMenuItemClick(MenuItem item) {
+                    onUpDownButton(true);
+                    return true;
+                }
+            });
+        }
+
+        randomWordMenuItem = menu.add(getString(R.string.randomWord));
+        randomWordMenuItem.setOnMenuItemClickListener(new OnMenuItemClickListener() {
+            @Override
+            public boolean onMenuItemClick(MenuItem item) {
+                onRandomWordButton();
+                return true;
+            }
+        });
+
+        application.onCreateGlobalOptionsMenu(this, menu);
+
+        {
+            final MenuItem dictionaryManager = menu.add(getString(R.string.dictionaryManager));
+            MenuItemCompat.setShowAsAction(dictionaryManager, MenuItem.SHOW_AS_ACTION_NEVER);
+            dictionaryManager.setOnMenuItemClickListener(new OnMenuItemClickListener() {
+                public boolean onMenuItemClick(final MenuItem menuItem) {
+                    startActivity(DictionaryManagerActivity.getLaunchIntent(getApplicationContext()));
+                    finish();
+                    return false;
+                }
+            });
+        }
+
+        {
+            final MenuItem aboutDictionary = menu.add(getString(R.string.aboutDictionary));
+            MenuItemCompat.setShowAsAction(aboutDictionary, MenuItem.SHOW_AS_ACTION_NEVER);
+            aboutDictionary.setOnMenuItemClickListener(new OnMenuItemClickListener() {
+                public boolean onMenuItemClick(final MenuItem menuItem) {
+                    final Context context = getListView().getContext();
+                    final Dialog dialog = new Dialog(context);
+                    dialog.setContentView(R.layout.about_dictionary_dialog);
+                    final TextView textView = (TextView) dialog.findViewById(R.id.text);
+
+                    final String name = application.getDictionaryName(dictFile.getName());
+                    dialog.setTitle(name);
+
+                    final StringBuilder builder = new StringBuilder();
+                    final DictionaryInfo dictionaryInfo = dictionary.getDictionaryInfo();
+                    dictionaryInfo.uncompressedBytes = dictFile.length();
+                    if (dictionaryInfo != null) {
+                        builder.append(dictionaryInfo.dictInfo).append("\n\n");
+                        builder.append(getString(R.string.dictionaryPath, dictFile.getPath()))
+                                .append("\n");
+                        builder.append(
+                                getString(R.string.dictionarySize, dictionaryInfo.uncompressedBytes))
+                                .append("\n");
+                        builder.append(
+                                getString(R.string.dictionaryCreationTime,
+                                        dictionaryInfo.creationMillis)).append("\n");
+                        for (final IndexInfo indexInfo : dictionaryInfo.indexInfos) {
+                            builder.append("\n");
+                            builder.append(getString(R.string.indexName, indexInfo.shortName))
+                                    .append("\n");
+                            builder.append(
+                                    getString(R.string.mainTokenCount, indexInfo.mainTokenCount))
+                                    .append("\n");
+                        }
+                        builder.append("\n");
+                        builder.append(getString(R.string.sources)).append("\n");
+                        for (final EntrySource source : dictionary.sources) {
+                            builder.append(
+                                    getString(R.string.sourceInfo, source.getName(),
+                                            source.getNumEntries())).append("\n");
+                        }
+                    }
+                    textView.setText(builder.toString());
+
+                    dialog.show();
+                    final WindowManager.LayoutParams layoutParams = new WindowManager.LayoutParams();
+                    layoutParams.width = WindowManager.LayoutParams.MATCH_PARENT;
+                    layoutParams.height = WindowManager.LayoutParams.MATCH_PARENT;
+                    dialog.getWindow().setAttributes(layoutParams);
+                    return false;
+                }
+            });
+        }
+
+        return true;
+    }
+
+    // --------------------------------------------------------------------------
+    // Context Menu + clicks
+    // --------------------------------------------------------------------------
+
+    @Override
+    public void onCreateContextMenu(ContextMenu menu, View v, ContextMenuInfo menuInfo) {
+        AdapterContextMenuInfo adapterContextMenuInfo = (AdapterContextMenuInfo) menuInfo;
+        final RowBase row = (RowBase) getListAdapter().getItem(adapterContextMenuInfo.position);
+
+        final android.view.MenuItem addToWordlist = menu.add(getString(R.string.addToWordList,
+                wordList.getName()));
+        addToWordlist
+                .setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
+                    public boolean onMenuItemClick(android.view.MenuItem item) {
+                        onAppendToWordList(row);
+                        return false;
+                    }
+                });
+
+        final android.view.MenuItem share = menu.add("Share");
+        share.setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
+            public boolean onMenuItemClick(android.view.MenuItem item) {
+                Intent shareIntent = new Intent(android.content.Intent.ACTION_SEND);
+                shareIntent.setType("text/plain");
+                shareIntent.putExtra(android.content.Intent.EXTRA_SUBJECT, row.getTokenRow(true)
+                        .getToken());
+                shareIntent.putExtra(android.content.Intent.EXTRA_TEXT,
+                        row.getRawText(saveOnlyFirstSubentry));
+                startActivity(shareIntent);
+                return false;
+            }
+        });
+
+        final android.view.MenuItem copy = menu.add(android.R.string.copy);
+        copy.setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
+            public boolean onMenuItemClick(android.view.MenuItem item) {
+                onCopy(row);
+                return false;
+            }
+        });
+
+        if (selectedSpannableText != null) {
+            final String selectedText = selectedSpannableText;
+            final android.view.MenuItem searchForSelection = menu.add(getString(
+                    R.string.searchForSelection,
+                    selectedSpannableText));
+            searchForSelection
+                    .setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
+                        public boolean onMenuItemClick(android.view.MenuItem item) {
+                            jumpToTextFromHyperLink(selectedText, selectedSpannableIndex);
+                            return false;
+                        }
+                    });
+            // Rats, this won't be shown:
+            //searchForSelection.setIcon(R.drawable.abs__ic_search);
+        }
+
+        if ((row instanceof TokenRow || selectedSpannableText != null) && ttsReady) {
+            final android.view.MenuItem speak = menu.add(R.string.speak);
+            final String textToSpeak = row instanceof TokenRow ? ((TokenRow) row).getToken() : selectedSpannableText;
+            updateTTSLanguage(row instanceof TokenRow ? indexIndex : selectedSpannableIndex);
+            speak.setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
+                @Override
+                public boolean onMenuItemClick(android.view.MenuItem item) {
+                    textToSpeech.speak(textToSpeak, TextToSpeech.QUEUE_FLUSH,
+                            new HashMap<String, String>());
+                    return false;
+                }
+            });
+        }
+    }
+
+    private void jumpToTextFromHyperLink(
+            final String selectedText, final int defaultIndexToUse) {
+        int indexToUse = -1;
+        int numFound = 0;
+        for (int i = 0; i < dictionary.indices.size(); ++i) {
+            final Index index = dictionary.indices.get(i);
+            if (indexPrepFinished) {
+                System.out.println("Doing index lookup: on " + selectedText);
+                final IndexEntry indexEntry = index.findExact(selectedText);
+                if (indexEntry != null) {
+                    final TokenRow tokenRow = index.rows.get(indexEntry.startRow)
+                            .getTokenRow(false);
+                    if (tokenRow != null && tokenRow.hasMainEntry) {
+                        indexToUse = i;
+                        ++numFound;
+                    }
+                }
+            } else {
+                Log.w(LOG, "Skipping findExact on index " + index.shortName);
+            }
+        }
+        if (numFound != 1 || indexToUse == -1) {
+            indexToUse = defaultIndexToUse;
+        }
+        // Without this extra delay, the call to jumpToRow that this
+        // invokes doesn't always actually have any effect.
+        final int actualIndexToUse = indexToUse;
+        getListView().postDelayed(new Runnable() {
+            @Override
+            public void run() {
+                setIndexAndSearchText(actualIndexToUse, selectedText, true);
+            }
+        }, 100);
+    }
+
+    /**
+     * Called when user clicks outside of search text, so that they can start
+     * typing again immediately.
+     */
+    void defocusSearchText() {
+        // Log.d(LOG, "defocusSearchText");
+        // Request focus so that if we start typing again, it clears the text
+        // input.
+        getListView().requestFocus();
+
+        // Visual indication that a new keystroke will clear the search text.
+        // Doesn't seem to work unless searchText has focus.
+        // searchView.selectAll();
+    }
+
+    protected void onListItemClick(ListView l, View v, int row, long id) {
+        defocusSearchText();
+        if (clickOpensContextMenu && dictRaf != null) {
+            openContextMenu(v);
+        }
+    }
+
+    @SuppressLint("SimpleDateFormat")
+    void onAppendToWordList(final RowBase row) {
+        defocusSearchText();
+
+        final StringBuilder rawText = new StringBuilder();
+        rawText.append(new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date())).append("\t");
+        rawText.append(index.longName).append("\t");
+        rawText.append(row.getTokenRow(true).getToken()).append("\t");
+        rawText.append(row.getRawText(saveOnlyFirstSubentry));
+        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 (Exception e) {
+            Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);
+            Toast.makeText(this,
+                    getString(R.string.failedAddingToWordList, wordList.getAbsolutePath()),
+                    Toast.LENGTH_LONG).show();
+        }
+        return;
+    }
+
+    @SuppressWarnings("deprecation")
+    void onCopy(final RowBase row) {
+        defocusSearchText();
+
+        Log.d(LOG, "Copy, row=" + row);
+        final StringBuilder result = new StringBuilder();
+        result.append(row.getRawText(false));
+        final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);
+        clipboardManager.setText(result.toString());
+        Log.d(LOG, "Copied: " + result);
+    }
+
+    @Override
+    public boolean onKeyDown(final int keyCode, final KeyEvent event) {
+        if (event.getUnicodeChar() != 0) {
+            if (!searchView.hasFocus()) {
+                setSearchText("" + (char) event.getUnicodeChar(), true);
+                searchView.requestFocus();
+            }
+            return true;
+        }
+        if (keyCode == KeyEvent.KEYCODE_BACK) {
+            // Log.d(LOG, "Clearing dictionary prefs.");
+            // Pretend that we just autolaunched so that we won't do it again.
+            // DictionaryManagerActivity.lastAutoLaunchMillis =
+            // System.currentTimeMillis();
+        }
+        if (keyCode == KeyEvent.KEYCODE_ENTER) {
+            Log.d(LOG, "Trying to hide soft keyboard.");
+            final InputMethodManager inputManager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);
+            View focus = getCurrentFocus();
+            if (focus != null) {
+                inputManager.hideSoftInputFromWindow(focus.getWindowToken(),
+                        InputMethodManager.HIDE_NOT_ALWAYS);
+            }
+            return true;
+        }
+        return super.onKeyDown(keyCode, event);
+    }
+
+    private void setIndexAndSearchText(int newIndex, String newSearchText, boolean hideKeyboard) {
+        Log.d(LOG, "Changing index to: " + newIndex);
+        if (newIndex == -1) {
+            Log.e(LOG, "Invalid index.");
+            newIndex = 0;
+        }
+        if (newIndex != indexIndex) {
+            indexIndex = newIndex;
+            index = dictionary.indices.get(indexIndex);
+            indexAdapter = new IndexAdapter(index);
+            setListAdapter(indexAdapter);
+            Log.d(LOG, "changingIndex, newLang=" + index.longName);
+            setDictionaryPrefs(this, dictFile, index.shortName, searchView.getQuery().toString());
+            updateLangButton();
+        }
+        setSearchText(newSearchText, true, hideKeyboard);
+    }
+
+    private void setSearchText(final String text, final boolean triggerSearch, boolean hideKeyboard) {
+        Log.d(LOG, "setSearchText, text=" + text + ", triggerSearch=" + triggerSearch);
+        // Disable the listener, because sometimes it doesn't work.
+        searchView.setOnQueryTextListener(null);
+        searchView.setQuery(text, false);
+        moveCursorToRight();
+        searchView.setOnQueryTextListener(onQueryTextListener);
+
+        if (triggerSearch) {
+            onSearchTextChange(text);
+        }
+
+        // We don't want to show virtual keyboard when we're changing searchView text programatically:
+        if (hideKeyboard) {
+            hideKeyboard();
+        }
+    }
+
+    private void setSearchText(final String text, final boolean triggerSearch) {
+       setSearchText(text, triggerSearch, true);
+    }
+
+    // private long cursorDelayMillis = 100;
+    private void moveCursorToRight() {
+        // if (searchText.getLayout() != null) {
+        // cursorDelayMillis = 100;
+        // // Surprising, but this can crash when you rotate...
+        // Selection.moveToRightEdge(searchView.getQuery(),
+        // searchText.getLayout());
+        // } else {
+        // uiHandler.postDelayed(new Runnable() {
+        // @Override
+        // public void run() {
+        // moveCursorToRight();
+        // }
+        // }, cursorDelayMillis);
+        // cursorDelayMillis = Math.min(10 * 1000, 2 * cursorDelayMillis);
+        // }
+    }
+
+    // --------------------------------------------------------------------------
+    // SearchOperation
+    // --------------------------------------------------------------------------
+
+    private void searchFinished(final SearchOperation searchOperation) {
+        if (searchOperation.interrupted.get()) {
+            Log.d(LOG, "Search operation was interrupted: " + searchOperation);
+            return;
+        }
+        if (searchOperation != this.currentSearchOperation) {
+            Log.d(LOG, "Stale searchOperation finished: " + searchOperation);
+            return;
+        }
+
+        final Index.IndexEntry searchResult = searchOperation.searchResult;
+        Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);
+
+        currentSearchOperation = null;
+        uiHandler.postDelayed(new Runnable() {
+            @Override
+            public void run() {
+                if (currentSearchOperation == null) {
+                    if (searchResult != null) {
+                        if (isFiltered()) {
+                            clearFiltered();
+                        }
+                        jumpToRow(searchResult.startRow);
+                    } else if (searchOperation.multiWordSearchResult != null) {
+                        // Multi-row search....
+                        setFiltered(searchOperation);
+                    } else {
+                        throw new IllegalStateException("This should never happen.");
+                    }
+                } else {
+                    Log.d(LOG, "More coming, waiting for currentSearchOperation.");
+                }
+            }
+        }, 20);
+    }
+
+    private final void jumpToRow(final int row) {
+        Log.d(LOG, "jumpToRow: " + row + ", refocusSearchText=" + false);
+        // getListView().requestFocusFromTouch();
+        getListView().setSelectionFromTop(row, 0);
+        getListView().setSelected(true);
+    }
+
+    static final Pattern WHITESPACE = Pattern.compile("\\s+");
+
+    final class SearchOperation implements Runnable {
+
+        final AtomicBoolean interrupted = new AtomicBoolean(false);
+
+        final String searchText;
+
+        List<String> searchTokens; // filled in for multiWord.
+
+        final Index index;
+
+        long searchStartMillis;
+
+        Index.IndexEntry searchResult;
+
+        List<RowBase> multiWordSearchResult;
+
+        boolean done = false;
+
+        SearchOperation(final String searchText, final Index index) {
+            this.searchText = StringUtil.normalizeWhitespace(searchText);
+            this.index = index;
+        }
+
+        public String toString() {
+            return String.format("SearchOperation(%s,%s)", searchText, interrupted.toString());
+        }
+
+        @Override
+        public void run() {
+            try {
+                searchStartMillis = System.currentTimeMillis();
+                final String[] searchTokenArray = WHITESPACE.split(searchText);
+                if (searchTokenArray.length == 1) {
+                    searchResult = index.findInsertionPoint(searchText, interrupted);
+                } else {
+                    searchTokens = Arrays.asList(searchTokenArray);
+                    multiWordSearchResult = index.multiWordSearch(searchText, searchTokens,
+                            interrupted);
+                }
+                Log.d(LOG,
+                        "searchText=" + searchText + ", searchDuration="
+                                + (System.currentTimeMillis() - searchStartMillis)
+                                + ", interrupted=" + interrupted.get());
+                if (!interrupted.get()) {
+                    uiHandler.post(new Runnable() {
+                        @Override
+                        public void run() {
+                            searchFinished(SearchOperation.this);
+                        }
+                    });
+                } else {
+                    Log.d(LOG, "interrupted, skipping searchFinished.");
+                }
+            } catch (Exception e) {
+                Log.e(LOG, "Failure during search (can happen during Activity close.");
+            } finally {
+                synchronized (this) {
+                    done = true;
+                    this.notifyAll();
+                }
+            }
+        }
+    }
+
+    // --------------------------------------------------------------------------
+    // IndexAdapter
+    // --------------------------------------------------------------------------
+
+    static ViewGroup.LayoutParams WEIGHT_1 = new LinearLayout.LayoutParams(
+            ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.MATCH_PARENT, 1.0f);
+
+    static ViewGroup.LayoutParams WEIGHT_0 = new LinearLayout.LayoutParams(
+            ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.MATCH_PARENT, 0.0f);
+
+    final class IndexAdapter extends BaseAdapter {
+
+        private static final float PADDING_DEFAULT_DP = 8;
+
+        private static final float PADDING_LARGE_DP = 16;
+
+        final Index index;
+
+        final List<RowBase> rows;
+
+        final Set<String> toHighlight;
+
+        private int mPaddingDefault;
+
+        private int mPaddingLarge;
+
+        IndexAdapter(final Index index) {
+            this.index = index;
+            rows = index.rows;
+            this.toHighlight = null;
+            getMetrics();
+        }
+
+        IndexAdapter(final Index index, final List<RowBase> rows, final List<String> toHighlight) {
+            this.index = index;
+            this.rows = rows;
+            this.toHighlight = new LinkedHashSet<String>(toHighlight);
+            getMetrics();
+        }
+
+        private void getMetrics() {
+            // Get the screen's density scale
+            final float scale = getResources().getDisplayMetrics().density;
+            // Convert the dps to pixels, based on density scale
+            mPaddingDefault = (int) (PADDING_DEFAULT_DP * scale + 0.5f);
+            mPaddingLarge = (int) (PADDING_LARGE_DP * scale + 0.5f);
+        }
+
+        @Override
+        public int getCount() {
+            return rows.size();
+        }
+
+        @Override
+        public RowBase getItem(int position) {
+            return rows.get(position);
+        }
+
+        @Override
+        public long getItemId(int position) {
+            return getItem(position).index();
+        }
+
+        @Override
+        public TableLayout getView(int position, View convertView, ViewGroup parent) {
+            final TableLayout result;
+            if (convertView instanceof TableLayout) {
+                result = (TableLayout) convertView;
+                result.removeAllViews();
+            } else {
+                result = new TableLayout(parent.getContext());
+            }
+            final RowBase row = getItem(position);
+            if (row instanceof PairEntry.Row) {
+                return getView(position, (PairEntry.Row) row, parent, result);
+            } else if (row instanceof TokenRow) {
+                return getView((TokenRow) row, parent, result);
+            } else if (row instanceof HtmlEntry.Row) {
+                return getView((HtmlEntry.Row) row, parent, result);
+            } else {
+                throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());
+            }
+        }
+
+        private TableLayout getView(final int position, PairEntry.Row row, ViewGroup parent,
+                final TableLayout result) {
+            final PairEntry entry = row.getEntry();
+            final int rowCount = entry.pairs.size();
+
+            final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();
+            layoutParams.weight = 0.5f;
+            layoutParams.leftMargin = mPaddingLarge;
+
+            for (int r = 0; r < rowCount; ++r) {
+                final TableRow tableRow = new TableRow(result.getContext());
+
+                final TextView col1 = new TextView(tableRow.getContext());
+                final TextView col2 = new TextView(tableRow.getContext());
+
+                // Set the columns in the table.
+                if (r > 0) {
+                    final TextView bullet = new TextView(tableRow.getContext());
+                    bullet.setText(" • ");
+                    tableRow.addView(bullet);
+                }
+                tableRow.addView(col1, layoutParams);
+                final TextView margin = new TextView(tableRow.getContext());
+                margin.setText(" ");
+                tableRow.addView(margin);
+                if (r > 0) {
+                    final TextView bullet = new TextView(tableRow.getContext());
+                    bullet.setText(" • ");
+                    tableRow.addView(bullet);
+                }
+                tableRow.addView(col2, layoutParams);
+                col1.setWidth(1);
+                col2.setWidth(1);
+
+                // Set what's in the columns.
+
+                final Pair pair = entry.pairs.get(r);
+                final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;
+                final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;
+
+                col1.setText(col1Text, TextView.BufferType.SPANNABLE);
+                col2.setText(col2Text, TextView.BufferType.SPANNABLE);
+
+                // Bold the token instances in col1.
+                final Set<String> toBold = toHighlight != null ? this.toHighlight : Collections
+                        .singleton(row.getTokenRow(true).getToken());
+                final Spannable col1Spannable = (Spannable) col1.getText();
+                for (final String token : toBold) {
+                    int startPos = 0;
+                    while ((startPos = col1Text.indexOf(token, startPos)) != -1) {
+                        col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos, startPos
+                                + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);
+                        startPos += token.length();
+                    }
+                }
+
+                createTokenLinkSpans(col1, col1Spannable, col1Text);
+                createTokenLinkSpans(col2, (Spannable) col2.getText(), col2Text);
+
+                col1.setTypeface(typeface);
+                col2.setTypeface(typeface);
+                col1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);
+                col2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);
+                // col2.setBackgroundResource(theme.otherLangBg);
+
+                if (index.swapPairEntries) {
+                    col2.setOnLongClickListener(textViewLongClickListenerIndex0);
+                    col1.setOnLongClickListener(textViewLongClickListenerIndex1);
+                } else {
+                    col1.setOnLongClickListener(textViewLongClickListenerIndex0);
+                    col2.setOnLongClickListener(textViewLongClickListenerIndex1);
+                }
+
+                result.addView(tableRow);
+            }
+
+            // Because we have a Button inside a ListView row:
+            // http://groups.google.com/group/android-developers/browse_thread/thread/3d96af1530a7d62a?pli=1
+            result.setDescendantFocusability(ViewGroup.FOCUS_BLOCK_DESCENDANTS);
+            result.setClickable(true);
+            result.setFocusable(true);
+            result.setLongClickable(true);
+//            result.setBackgroundResource(android.R.drawable.menuitem_background);
+
+            result.setBackgroundResource(theme.normalRowBg);
+
+            result.setOnClickListener(new TextView.OnClickListener() {
+                @Override
+                public void onClick(View v) {
+                    DictionaryActivity.this.onListItemClick(getListView(), v, position, position);
+                }
+            });
+
+            return result;
+        }
+
+        private TableLayout getPossibleLinkToHtmlEntryView(final boolean isTokenRow,
+                final String text, final boolean hasMainEntry, final List<HtmlEntry> htmlEntries,
+                final String htmlTextToHighlight, ViewGroup parent, final TableLayout result) {
+            final Context context = parent.getContext();
+
+            final TableRow tableRow = new TableRow(result.getContext());
+            tableRow.setBackgroundResource(hasMainEntry ? theme.tokenRowMainBg
+                    : theme.tokenRowOtherBg);
+            if (isTokenRow) {
+                tableRow.setPadding(mPaddingDefault, mPaddingDefault, mPaddingDefault, 0);
+            } else {
+                tableRow.setPadding(mPaddingLarge, mPaddingDefault, mPaddingDefault, 0);
+            }
+            result.addView(tableRow);
+
+            // Make it so we can long-click on these token rows, too:
+            final TextView textView = new TextView(context);
+            textView.setText(text, BufferType.SPANNABLE);
+            createTokenLinkSpans(textView, (Spannable) textView.getText(), text);
+            textView.setOnLongClickListener(indexIndex > 0 ? textViewLongClickListenerIndex1 : textViewLongClickListenerIndex0);
+            result.setLongClickable(true);
+
+            // Doesn't work:
+            // textView.setTextColor(android.R.color.secondary_text_light);
+            textView.setTypeface(typeface);
+            TableRow.LayoutParams lp = new TableRow.LayoutParams(0);
+            if (isTokenRow) {
+                textView.setTextAppearance(context, theme.tokenRowFg);
+                textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, 4 * fontSizeSp / 3);
+            } else {
+                textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);
+            }
+            lp.weight = 1.0f;
+
+            textView.setLayoutParams(lp);
+            tableRow.addView(textView);
+
+            if (!htmlEntries.isEmpty()) {
+                final ClickableSpan clickableSpan = new ClickableSpan() {
+                    @Override
+                    public void onClick(View widget) {
+                    }
+                };
+                ((Spannable) textView.getText()).setSpan(clickableSpan, 0, text.length(),
+                        Spannable.SPAN_INCLUSIVE_INCLUSIVE);
+                result.setClickable(true);
+                textView.setClickable(true);
+                textView.setMovementMethod(LinkMovementMethod.getInstance());
+                textView.setOnClickListener(new OnClickListener() {
+                    @Override
+                    public void onClick(View v) {
+                        String html = HtmlEntry.htmlBody(htmlEntries, index.shortName);
+                        // Log.d(LOG, "html=" + html);
+                        startActivityForResult(
+                                HtmlDisplayActivity.getHtmlIntent(getApplicationContext(), String.format(
+                                        "<html><head></head><body>%s</body></html>", html),
+                                        htmlTextToHighlight, false),
+                                0);
+                    }
+                });
+            }
+            return result;
+        }
+
+        private TableLayout getView(TokenRow row, ViewGroup parent, final TableLayout result) {
+            final IndexEntry indexEntry = row.getIndexEntry();
+            return getPossibleLinkToHtmlEntryView(true, indexEntry.token, row.hasMainEntry,
+                    indexEntry.htmlEntries, null, parent, result);
+        }
+
+        private TableLayout getView(HtmlEntry.Row row, ViewGroup parent, final TableLayout result) {
+            final HtmlEntry htmlEntry = row.getEntry();
+            final TokenRow tokenRow = row.getTokenRow(true);
+            return getPossibleLinkToHtmlEntryView(false,
+                    getString(R.string.seeAlso, htmlEntry.title, htmlEntry.entrySource.getName()),
+                    false, Collections.singletonList(htmlEntry), tokenRow.getToken(), parent,
+                    result);
+        }
+
+    }
+
+    static final Pattern CHAR_DASH = Pattern.compile("['\\p{L}\\p{M}\\p{N}]+");
+
+    private void createTokenLinkSpans(final TextView textView, final Spannable spannable,
+            final String text) {
+        // Saw from the source code that LinkMovementMethod sets the selection!
+        // http://grepcode.com/file/repository.grepcode.com/java/ext/com.google.android/android/2.3.1_r1/android/text/method/LinkMovementMethod.java#LinkMovementMethod
+        textView.setMovementMethod(LinkMovementMethod.getInstance());
+        final Matcher matcher = CHAR_DASH.matcher(text);
+        while (matcher.find()) {
+            spannable.setSpan(new NonLinkClickableSpan(textColorFg), matcher.start(),
+                    matcher.end(),
+                    Spannable.SPAN_INCLUSIVE_EXCLUSIVE);
+        }
+    }
+
+    String selectedSpannableText = null;
+
+    int selectedSpannableIndex = -1;
+
+    @Override
+    public boolean onTouchEvent(MotionEvent event) {
+        selectedSpannableText = null;
+        selectedSpannableIndex = -1;
+        return super.onTouchEvent(event);
+    }
+
+    private class TextViewLongClickListener implements OnLongClickListener {
+        final int index;
+
+        private TextViewLongClickListener(final int index) {
+            this.index = index;
+        }
+
+        @Override
+        public boolean onLongClick(final View v) {
+            final TextView textView = (TextView) v;
+            final int start = textView.getSelectionStart();
+            final int end = textView.getSelectionEnd();
+            if (start >= 0 && end >= 0) {
+                selectedSpannableText = textView.getText().subSequence(start, end).toString();
+                selectedSpannableIndex = index;
+            }
+            return false;
+        }
+    }
+
+    final TextViewLongClickListener textViewLongClickListenerIndex0 = new TextViewLongClickListener(
+            0);
+
+    final TextViewLongClickListener textViewLongClickListenerIndex1 = new TextViewLongClickListener(
+            1);
+
+    // --------------------------------------------------------------------------
+    // SearchText
+    // --------------------------------------------------------------------------
+
+    void onSearchTextChange(final String text) {
+        if ("thadolina".equals(text)) {
+            final Dialog dialog = new Dialog(getListView().getContext());
+            dialog.setContentView(R.layout.thadolina_dialog);
+            dialog.setTitle("Ti amo, amore mio!");
+            final ImageView imageView = (ImageView) dialog.findViewById(R.id.thadolina_image);
+            imageView.setOnClickListener(new OnClickListener() {
+                @Override
+                public void onClick(View v) {
+                    final Intent intent = new Intent(Intent.ACTION_VIEW);
+                    intent.setData(Uri.parse("https://sites.google.com/site/cfoxroxvday/vday2012"));
+                    startActivity(intent);
+                }
+            });
+            dialog.show();
+        }
+        if (dictRaf == null) {
+            Log.d(LOG, "searchText changed during shutdown, doing nothing.");
+            return;
+        }
+
+        // if (!searchView.hasFocus()) {
+        // Log.d(LOG, "searchText changed without focus, doing nothing.");
+        // return;
+        // }
+        Log.d(LOG, "onSearchTextChange: " + text);
+        if (currentSearchOperation != null) {
+            Log.d(LOG, "Interrupting currentSearchOperation.");
+            currentSearchOperation.interrupted.set(true);
+        }
+        currentSearchOperation = new SearchOperation(text, index);
+        searchExecutor.execute(currentSearchOperation);
+    }
+
+    // --------------------------------------------------------------------------
+    // Filtered results.
+    // --------------------------------------------------------------------------
+
+    boolean isFiltered() {
+        return rowsToShow != null;
+    }
+
+    void setFiltered(final SearchOperation searchOperation) {
+        if (nextWordMenuItem != null) {
+            nextWordMenuItem.setEnabled(false);
+            previousWordMenuItem.setEnabled(false);
+        }
+        rowsToShow = searchOperation.multiWordSearchResult;
+        setListAdapter(new IndexAdapter(index, rowsToShow, searchOperation.searchTokens));
+    }
+
+    void clearFiltered() {
+        if (nextWordMenuItem != null) {
+            nextWordMenuItem.setEnabled(true);
+            previousWordMenuItem.setEnabled(true);
+        }
+        setListAdapter(new IndexAdapter(index));
+        rowsToShow = null;
+    }
+
+}