-package com.hughes.android.dictionary;
-
-import java.io.File;
-import java.io.FileWriter;
-import java.io.IOException;
-import java.io.PrintWriter;
-import java.io.RandomAccessFile;
-import java.text.SimpleDateFormat;
-import java.util.Date;
-import java.util.concurrent.Executor;
-import java.util.concurrent.Executors;
-import java.util.concurrent.atomic.AtomicBoolean;
-
-import android.app.ListActivity;
-import android.content.Context;
-import android.content.Intent;
-import android.content.SharedPreferences;
-import android.content.SharedPreferences.Editor;
-import android.graphics.Typeface;
-import android.os.Bundle;
-import android.os.Handler;
-import android.preference.PreferenceManager;
-import android.text.ClipboardManager;
-import android.text.Editable;
-import android.text.Spannable;
-import android.text.TextWatcher;
-import android.text.style.StyleSpan;
-import android.util.Log;
-import android.view.ContextMenu;
-import android.view.KeyEvent;
-import android.view.Menu;
-import android.view.MenuItem;
-import android.view.View;
-import android.view.ViewGroup;
-import android.view.ContextMenu.ContextMenuInfo;
-import android.view.MenuItem.OnMenuItemClickListener;
-import android.view.View.OnClickListener;
-import android.widget.AdapterView;
-import android.widget.BaseAdapter;
-import android.widget.Button;
-import android.widget.EditText;
-import android.widget.ListView;
-import android.widget.TableLayout;
-import android.widget.TableRow;
-import android.widget.TextView;
-import android.widget.Toast;
-
-import com.hughes.android.dictionary.Dictionary.IndexEntry;
-import com.hughes.android.dictionary.Dictionary.LanguageData;
-import com.hughes.android.dictionary.Dictionary.Row;
-
-public class DictionaryActivity extends ListActivity {
-
- // TODO:
- // * Version magic number at end of dictionary, checked for correctness. (Throw exception in ctor, remember to check for it).
- // * Localize "about" string if % codes
- // * Toast when word gets added to word list.
- // * Compress all the strings everywhere, put compression table in file.
- // Done:
- // * Only one way to way for current search to end. (won't do).
-
- static final String LOG = "QuickDic";
- static final String PREF_DICT_ACTIVE_LANG = "DICT_DIR_PREF";
- static final String PREF_ACTIVE_SEARCH_TEXT = "ACTIVE_WORD_PREF";
-
- // package for test.
- final Handler uiHandler = new Handler();
- private final Executor searchExecutor = Executors.newSingleThreadExecutor();
-
- EditText searchText;
- Button langButton;
- int lastSelectedRow = 0;
-
- private boolean prefsMightHaveChanged = true;
-
- // Never null.
- private File wordList;
- private RandomAccessFile dictRaf = null;
- private Dictionary dictionary = null;
-
- // Visible for testing.
- LanguageListAdapter languageList = null;
- private SearchOperation searchOperation = null;
-
- /** Called when the activity is first created. */
- @Override
- public void onCreate(Bundle savedInstanceState) {
- super.onCreate(savedInstanceState);
- Log.d(LOG, "onCreate:" + this);
-
- if (Language.EN.sortCollator.compare("pre-print", "preppy") >= 0) {
- Log
- .e(LOG,
- "Android java.text.Collator is buggy, lookups may not work properly.");
- }
-
- initDictionaryAndPrefs();
- if (dictRaf == null) {
- return;
- }
-
- // UI init.
-
- setContentView(R.layout.main);
- searchText = (EditText) findViewById(R.id.SearchText);
- langButton = (Button) findViewById(R.id.LangButton);
-
- Log.d(LOG, "adding text changed listener");
- searchText.addTextChangedListener(new SearchTextWatcher());
-
- getListView().setOnItemSelectedListener(new AdapterView.OnItemSelectedListener() {
- public void onItemSelected(AdapterView<?> arg0, View arg1, int arg2,
- long arg3) {
- lastSelectedRow = arg2;
- updateSearchText();
- }
- public void onNothingSelected(AdapterView<?> arg0) {
- }
- });
-
- // Language button.
- final Button langButton = (Button) findViewById(R.id.LangButton);
- langButton.setOnClickListener(new OnClickListener() {
- public void onClick(View v) {
- onLanguageButton();
- }
- });
- final Button upButton = (Button) findViewById(R.id.UpButton);
- upButton.setOnClickListener(new OnClickListener() {
- public void onClick(View v) {
- onUpButton();
- }
- });
- final Button downButton = (Button) findViewById(R.id.DownButton);
- downButton.setOnClickListener(new OnClickListener() {
- public void onClick(View v) {
- onDownButton();
- }
- });
-
- // ContextMenu.
- registerForContextMenu(getListView());
-
- updateLangButton();
- }
-
- private void initDictionaryAndPrefs() {
- if (!prefsMightHaveChanged) {
- return;
- }
- closeCurrentDictionary();
-
- final SharedPreferences prefs = PreferenceManager
- .getDefaultSharedPreferences(this);
- wordList = new File(prefs.getString(getString(R.string.wordListFileKey),
- getString(R.string.wordListFileDefault)));
- Log.d(LOG, "wordList=" + wordList);
-
- final File dictFile = new File(prefs.getString(getString(R.string.dictFileKey),
- getString(R.string.dictFileDefault)));
- Log.d(LOG, "dictFile=" + dictFile);
- if (!dictFile.canRead()) {
- Log.w(LOG, "Unable to read dictionary file.");
- this.startActivity(new Intent(this, NoDictionaryActivity.class));
- finish();
- }
-
- try {
- dictRaf = new RandomAccessFile(dictFile, "r");
- dictionary = new Dictionary(dictRaf);
- } catch (Exception e) {
- Log.e(LOG, "Couldn't open dictionary.", e);
- return;
- }
-
- final byte lang = prefs.getInt(PREF_DICT_ACTIVE_LANG, Entry.LANG1) == Entry.LANG1 ? Entry.LANG1
- : Entry.LANG2;
-
- languageList = new LanguageListAdapter(dictionary.languageDatas[lang]);
- setListAdapter(languageList);
- prefsMightHaveChanged = false;
- }
-
- @Override
- public void onResume() {
- super.onResume();
- Log.d(LOG, "onResume:" + this);
-
- initDictionaryAndPrefs();
-
- final SharedPreferences prefs = PreferenceManager
- .getDefaultSharedPreferences(this);
- final String searchTextString = prefs
- .getString(PREF_ACTIVE_SEARCH_TEXT, "");
- searchText.setText(searchTextString);
- onSearchTextChange(searchTextString);
- getListView().requestFocus();
- }
-
- @Override
- public void onPause() {
- super.onPause();
- Log.d(LOG, "onPause:" + this);
- final Editor prefs = PreferenceManager.getDefaultSharedPreferences(this)
- .edit();
- prefs.putInt(PREF_DICT_ACTIVE_LANG, languageList.languageData.lang);
- prefs.putString(PREF_ACTIVE_SEARCH_TEXT, searchText.getText().toString());
- prefs.commit();
- }
-
- @Override
- public void onStop() {
- super.onStop();
- Log.d(LOG, "onStop:" + this);
- if (isFinishing()) {
- Log.i(LOG, "isFinishing()==true, closing dictionary.");
- closeCurrentDictionary();
- }
- }
-
- private void closeCurrentDictionary() {
- Log.i(LOG, "closeCurrentDictionary");
- waitForSearchEnd();
- languageList = null;
- setListAdapter(null);
- dictionary = null;
- try {
- if (dictRaf != null) {
- dictRaf.close();
- }
- } catch (IOException e) {
- throw new RuntimeException(e);
- }
- dictRaf = null;
- }
-
- public String getSelectedRowRawText() {
- final int row = getSelectedRow();
- return row < 0 ? "" : languageList.languageData
- .rowToString(languageList.languageData.rows.get(row));
- }
-
- // ----------------------------------------------------------------
- // OptionsMenu
- // ----------------------------------------------------------------
-
- private MenuItem switchLanguageMenuItem = null;
-
- @Override
- public boolean onCreateOptionsMenu(final Menu menu) {
- switchLanguageMenuItem = menu.add(getString(R.string.switchToLanguage));
- switchLanguageMenuItem
- .setOnMenuItemClickListener(new OnMenuItemClickListener() {
- public boolean onMenuItemClick(final MenuItem menuItem) {
- onLanguageButton();
- return false;
- }
- });
-
- final MenuItem preferences = menu.add(getString(R.string.preferences));
- preferences.setOnMenuItemClickListener(new OnMenuItemClickListener() {
- public boolean onMenuItemClick(final MenuItem menuItem) {
- prefsMightHaveChanged = true;
- startActivity(new Intent(DictionaryActivity.this,
- PreferenceActivity.class));
- return false;
- }
- });
-
- final MenuItem about = menu.add(getString(R.string.about));
- about.setOnMenuItemClickListener(new OnMenuItemClickListener() {
- public boolean onMenuItemClick(final MenuItem menuItem) {
- final Intent intent = new Intent().setClassName(AboutActivity.class
- .getPackage().getName(), AboutActivity.class.getCanonicalName());
- final StringBuilder currentDictInfo = new StringBuilder();
- if (dictionary == null) {
- currentDictInfo.append(getString(R.string.noDictLoaded));
- } else {
- currentDictInfo.append(dictionary.dictionaryInfo).append("\n\n");
- currentDictInfo.append("Entry count: " + dictionary.entries.size())
- .append("\n");
- for (int i = 0; i < 2; ++i) {
- final LanguageData languageData = dictionary.languageDatas[i];
- currentDictInfo.append(languageData.language.symbol).append(":\n");
- currentDictInfo.append(
- " Unique token count: " + languageData.sortedIndex.size())
- .append("\n");
- currentDictInfo.append(" Row count: " + languageData.rows.size())
- .append("\n");
- }
- }
- intent.putExtra(AboutActivity.CURRENT_DICT_INFO, currentDictInfo
- .toString());
- startActivity(intent);
- return false;
- }
- });
-
- final MenuItem download = menu.add(getString(R.string.downloadDictionary));
- download.setOnMenuItemClickListener(new OnMenuItemClickListener() {
- public boolean onMenuItemClick(final MenuItem menuItem) {
- startDownloadDictActivity(DictionaryActivity.this);
- return false;
- }
- });
-
- return true;
- }
-
- @Override
- public boolean onPrepareOptionsMenu(final Menu menu) {
- switchLanguageMenuItem.setTitle(getString(R.string.switchToLanguage,
- dictionary.languageDatas[Entry
- .otherLang(languageList.languageData.lang)].language.symbol));
- return super.onPrepareOptionsMenu(menu);
- }
-
- void updateLangButton() {
- langButton.setText(languageList.languageData.language.symbol);
- }
-
- // ----------------------------------------------------------------
- // Event handlers.
- // ----------------------------------------------------------------
-
- void onLanguageButton() {
- waitForSearchEnd();
- languageList = new LanguageListAdapter(
- dictionary.languageDatas[(languageList.languageData == dictionary.languageDatas[0]) ? 1
- : 0]);
- Log.d(LOG, "onLanguageButton, newLang=" + languageList.languageData.language.symbol);
- setListAdapter(languageList);
- updateLangButton();
- onSearchTextChange(searchText.getText().toString());
- }
-
- void onUpButton() {
- final int destRowIndex = languageList.languageData.getPrevTokenRow(lastSelectedRow);
- Log.d(LOG, "onUpButton, destRowIndex=" + destRowIndex);
- jumpToRow(languageList, destRowIndex);
- }
-
- void onDownButton() {
- final int destRowIndex = languageList.languageData.getNextTokenRow(lastSelectedRow);
- Log.d(LOG, "onDownButton, destRowIndex=" + destRowIndex);
- jumpToRow(languageList, destRowIndex);
- }
-
- void onAppendToWordList() {
- final int row = getSelectedRow();
- if (row < 0) {
- return;
- }
- final StringBuilder rawText = new StringBuilder();
- final String word = languageList.languageData.getIndexEntryForRow(row).word;
- rawText.append(
- new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date()))
- .append("\t");
- rawText.append(word).append("\t");
- rawText.append(getSelectedRowRawText());
- Log.d(LOG, "Writing : " + rawText);
- try {
- wordList.getParentFile().mkdirs();
- final PrintWriter out = new PrintWriter(
- new FileWriter(wordList, true));
- out.println(rawText.toString());
- out.close();
- } catch (IOException e) {
- Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);
- Toast.makeText(this, getString(R.string.failedAddingToWordList, wordList.getAbsolutePath()), Toast.LENGTH_LONG);
- }
- return;
- }
-
- void onCopy() {
- final int row = getSelectedRow();
- if (row < 0) {
- return;
- }
- Log.d(LOG, "Copy." + DictionaryActivity.this.getSelectedRow());
- final StringBuilder result = new StringBuilder();
- result.append(getSelectedRowRawText());
- final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);
- clipboardManager.setText(result.toString());
- Log.d(LOG, "Copied: " + result);
- }
-
- @Override
- public boolean onKeyDown(int keyCode, KeyEvent event) {
- if (event.getUnicodeChar() != 0) {
- if (!searchText.hasFocus()) {
- searchText.setText("" + (char) event.getUnicodeChar());
- onSearchTextChange(searchText.getText().toString());
- searchText.requestFocus();
- }
- return true;
- }
- return super.onKeyDown(keyCode, event);
- }
-
- @Override
- protected void onListItemClick(ListView l, View v, int row, long id) {
- Log.d(LOG, "Clicked: " + getSelectedRowRawText());
- openContextMenu(getListView());
- }
-
- void onSearchTextChange(final String searchText) {
- Log.d(LOG, "onSearchTextChange: " + searchText);
- synchronized (this) {
- searchOperation = new SearchOperation(languageList, searchText, searchOperation);
- searchExecutor.execute(searchOperation);
- }
- }
-
-
-
- // ----------------------------------------------------------------
- // ContextMenu
- // ----------------------------------------------------------------
-
- @Override
- public void onCreateContextMenu(ContextMenu menu, View v,
- ContextMenuInfo menuInfo) {
- final int row = getSelectedRow();
- if (row < 0) {
- return;
- }
-
- final MenuItem addToWordlist = menu.add(getString(R.string.addToWordList, wordList.getName()));
- addToWordlist.setOnMenuItemClickListener(new OnMenuItemClickListener() {
- public boolean onMenuItemClick(MenuItem item) {
- onAppendToWordList();
- return false;
- }
- });
-
- final MenuItem copy = menu.add(android.R.string.copy);
- copy.setOnMenuItemClickListener(new OnMenuItemClickListener() {
- public boolean onMenuItemClick(MenuItem item) {
- onCopy();
- return false;
- }
- });
-
- }
-
- private void jumpToRow(final LanguageListAdapter dictionaryListAdapter,
- final int rowIndex) {
- Log.d(LOG, "jumpToRow: " + rowIndex);
- if (dictionaryListAdapter != this.languageList) {
- Log.w(LOG, "skipping jumpToRow for old list adapter: " + rowIndex);
- return;
- }
- setSelection(rowIndex);
- lastSelectedRow = rowIndex; // TODO: find a way to delete this.
- updateSearchText();
- getListView().setSelected(true);
- }
-
- // TODO: delete me somehow.
- private int getSelectedRow() {
- return lastSelectedRow;
- }
-
- private void updateSearchText() {
- Log.d(LOG, "updateSearchText");
- final int selectedRowIndex = getSelectedRow();
- if (!searchText.hasFocus()) {
- if (selectedRowIndex >= 0) {
- final String word = languageList.languageData
- .getIndexEntryForRow(selectedRowIndex).word;
- if (!word.equals(searchText.getText().toString())) {
- Log.d(LOG, "updateSearchText: setText: " + word);
- searchText.setText(word);
- }
- } else {
- Log.w(LOG, "updateSearchText: nothing selected.");
- }
- }
- }
-
- static void startDownloadDictActivity(final Context context) {
- final Intent intent = new Intent(context, DownloadActivity.class);
- final SharedPreferences prefs = PreferenceManager
- .getDefaultSharedPreferences(context);
- final String dictFetchUrl = prefs.getString(context
- .getString(R.string.dictFetchUrlKey), context
- .getString(R.string.dictFetchUrlDefault));
- final String dictFileName = prefs.getString(context
- .getString(R.string.dictFileKey), context
- .getString(R.string.dictFileDefault));
- intent.putExtra(DownloadActivity.SOURCE, dictFetchUrl);
- intent.putExtra(DownloadActivity.DEST, dictFileName);
- context.startActivity(intent);
- }
-
- class LanguageListAdapter extends BaseAdapter {
-
- // Visible for testing.
- final LanguageData languageData;
-
- LanguageListAdapter(final LanguageData languageData) {
- this.languageData = languageData;
- }
-
- public int getCount() {
- return languageData.rows.size();
- }
-
- public Dictionary.Row getItem(int rowIndex) {
- assert rowIndex < languageData.rows.size();
- return languageData.rows.get(rowIndex);
- }
-
- public long getItemId(int rowIndex) {
- return rowIndex;
- }
-
- public View getView(final int rowIndex, final View convertView,
- final ViewGroup parent) {
- final Row row = getItem(rowIndex);
-
- // Token row.
- if (row.isToken()) {
- TextView result = null;
- if (convertView instanceof TextView) {
- result = (TextView) convertView;
- } else {
- result = new TextView(parent.getContext());
- }
- if (row == null) {
- return result;
- }
- result.setText(languageData.rowToString(row));
- result.setTextAppearance(parent.getContext(),
- android.R.style.TextAppearance_Large);
- result.setClickable(false);
- return result;
- }
-
- // Entry row(s).
- final TableLayout result = new TableLayout(parent.getContext());
-
- final Entry entry = dictionary.entries.get(row.getIndex());
- final int rowCount = entry.getRowCount();
- for (int r = 0; r < rowCount; ++r) {
- final TableRow tableRow = new TableRow(result.getContext());
-
- TextView column1 = new TextView(tableRow.getContext());
- TextView column2 = new TextView(tableRow.getContext());
- final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();
- layoutParams.weight = 0.5f;
-
- if (r > 0) {
- final TextView spacer = new TextView(tableRow.getContext());
- spacer.setText(r == 0 ? "\95 " : " \95 ");
- tableRow.addView(spacer);
- }
- tableRow.addView(column1, layoutParams);
- if (r > 0) {
- final TextView spacer = new TextView(tableRow.getContext());
- spacer.setText(r == 0 ? "\95 " : " \95 ");
- tableRow.addView(spacer);
- }
- tableRow.addView(column2, layoutParams);
-
- column1.setWidth(1);
- column2.setWidth(1);
- // column1.setTextAppearance(parent.getContext(), android.R.style.Text);
-
- // TODO: color words by gender
- final String col1Text = entry.getAllText(languageData.lang)[r];
- column1.setText(col1Text, TextView.BufferType.SPANNABLE);
- final Spannable col1Spannable = (Spannable) column1.getText();
- int startPos = 0;
- final String token = languageData.getIndexEntryForRow(rowIndex).word;
- while ((startPos = col1Text.indexOf(token, startPos)) != -1) {
- col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos,
- startPos + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);
- startPos += token.length();
- }
-
- column2.setText(
- entry.getAllText(Entry.otherLang(languageData.lang))[r],
- TextView.BufferType.NORMAL);
-
- result.addView(tableRow);
- }
-
- return result;
- }
-
- } // DictionaryListAdapter
-
- private final class SearchOperation implements Runnable {
- SearchOperation previousSearchOperation;
-
- final LanguageListAdapter listAdapter;
- final LanguageData languageData;
- final String searchText;
- final AtomicBoolean interrupted = new AtomicBoolean(false);
- boolean searchFinished = false;
-
- SearchOperation(final LanguageListAdapter listAdapter,
- final String searchText, final SearchOperation previousSearchOperation) {
- this.listAdapter = listAdapter;
- this.languageData = listAdapter.languageData;
- this.searchText = searchText;
- this.previousSearchOperation = previousSearchOperation;
- }
-
- public void run() {
- if (previousSearchOperation != null) {
- previousSearchOperation.stopAndWait();
- }
- previousSearchOperation = null;
-
- Log.d(LOG, "SearchOperation: " + searchText);
- final int indexLocation = languageData.lookup(searchText, interrupted);
- if (!interrupted.get()) {
- final IndexEntry indexEntry = languageData.sortedIndex.get(indexLocation);
-
- Log.d(LOG, "SearchOperation completed: " + indexEntry.toString());
- uiHandler.post(new Runnable() {
- public void run() {
- // Check is just a performance operation.
- if (!interrupted.get()) {
- // This is safe, because it checks that the listAdapter hasn't changed.
- jumpToRow(listAdapter, indexEntry.startRow);
- }
- synchronized (DictionaryActivity.this) {
- searchOperation = null;
- DictionaryActivity.this.notifyAll();
- }
- }
- });
- }
- synchronized (this) {
- searchFinished = true;
- this.notifyAll();
- }
- }
-
- private void stopAndWait() {
- interrupted.set(true);
- synchronized (this) {
- while (!searchFinished) {
- Log.d(LOG, "stopAndWait: " + searchText);
- try {
- this.wait();
- } catch (InterruptedException e) {
- Log.e(LOG, "Interrupted", e);
- }
- }
- }
- }
- } // SearchOperation
-
- void waitForSearchEnd() {
- synchronized (this) {
- while (searchOperation != null) {
- try {
- this.wait();
- } catch (InterruptedException e) {
- Log.e(LOG, "Interrupted.", e);
- }
- }
- }
- }
-
- private class SearchTextWatcher implements TextWatcher {
- public void afterTextChanged(final Editable searchTextEditable) {
- Log.d(LOG, "Search text changed: " + searchText.getText().toString());
- if (searchText.hasFocus()) {
- // If they were typing to cause the change, update the UI.
- onSearchTextChange(searchText.getText().toString());
- }
- }
-
- public void beforeTextChanged(CharSequence arg0, int arg1, int arg2,
- int arg3) {
- }
-
- public void onTextChanged(CharSequence arg0, int arg1, int arg2, int arg3) {
- }
- }
-
-}
\ No newline at end of file
+// Copyright 2011 Google Inc. All Rights Reserved.\r
+//\r
+// Licensed under the Apache License, Version 2.0 (the "License");\r
+// you may not use this file except in compliance with the License.\r
+// You may obtain a copy of the License at\r
+//\r
+// http://www.apache.org/licenses/LICENSE-2.0\r
+//\r
+// Unless required by applicable law or agreed to in writing, software\r
+// distributed under the License is distributed on an "AS IS" BASIS,\r
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\r
+// See the License for the specific language governing permissions and\r
+// limitations under the License.\r
+\r
+package com.hughes.android.dictionary;\r
+\r
+import java.io.File;\r
+import java.io.FileWriter;\r
+import java.io.IOException;\r
+import java.io.PrintWriter;\r
+import java.io.RandomAccessFile;\r
+import java.text.SimpleDateFormat;\r
+import java.util.Date;\r
+import java.util.List;\r
+import java.util.concurrent.Executor;\r
+import java.util.concurrent.Executors;\r
+import java.util.concurrent.ThreadFactory;\r
+import java.util.concurrent.atomic.AtomicBoolean;\r
+import java.util.regex.Matcher;\r
+import java.util.regex.Pattern;\r
+\r
+import android.app.Activity;\r
+import android.app.Dialog;\r
+import android.app.ListActivity;\r
+import android.content.Context;\r
+import android.content.Intent;\r
+import android.content.SharedPreferences;\r
+import android.graphics.Typeface;\r
+import android.os.Bundle;\r
+import android.os.Handler;\r
+import android.preference.PreferenceManager;\r
+import android.text.ClipboardManager;\r
+import android.text.Editable;\r
+import android.text.Selection;\r
+import android.text.Spannable;\r
+import android.text.TextWatcher;\r
+import android.text.method.LinkMovementMethod;\r
+import android.text.style.StyleSpan;\r
+import android.util.Log;\r
+import android.util.TypedValue;\r
+import android.view.ContextMenu;\r
+import android.view.ContextMenu.ContextMenuInfo;\r
+import android.view.KeyEvent;\r
+import android.view.Menu;\r
+import android.view.MenuItem;\r
+import android.view.MenuItem.OnMenuItemClickListener;\r
+import android.view.MotionEvent;\r
+import android.view.View;\r
+import android.view.View.OnClickListener;\r
+import android.view.View.OnLongClickListener;\r
+import android.view.ViewGroup;\r
+import android.view.inputmethod.InputMethodManager;\r
+import android.widget.AdapterView;\r
+import android.widget.AdapterView.AdapterContextMenuInfo;\r
+import android.widget.BaseAdapter;\r
+import android.widget.Button;\r
+import android.widget.EditText;\r
+import android.widget.LinearLayout;\r
+import android.widget.ListAdapter;\r
+import android.widget.ListView;\r
+import android.widget.TableLayout;\r
+import android.widget.TableRow;\r
+import android.widget.TextView;\r
+import android.widget.Toast;\r
+\r
+import com.hughes.android.dictionary.engine.Dictionary;\r
+import com.hughes.android.dictionary.engine.Index;\r
+import com.hughes.android.dictionary.engine.PairEntry;\r
+import com.hughes.android.dictionary.engine.PairEntry.Pair;\r
+import com.hughes.android.dictionary.engine.RowBase;\r
+import com.hughes.android.dictionary.engine.TokenRow;\r
+import com.hughes.android.dictionary.engine.TransliteratorManager;\r
+\r
+public class DictionaryActivity extends ListActivity {\r
+\r
+ static final String LOG = "QuickDic";\r
+ \r
+ String dictFile = null;\r
+ RandomAccessFile dictRaf = null;\r
+ Dictionary dictionary = null;\r
+ int indexIndex = 0;\r
+ Index index = null;\r
+ \r
+ // package for test.\r
+ final Handler uiHandler = new Handler();\r
+ private final Executor searchExecutor = Executors.newSingleThreadExecutor(new ThreadFactory() {\r
+ @Override\r
+ public Thread newThread(Runnable r) {\r
+ return new Thread(r, "searchExecutor");\r
+ }\r
+ });\r
+ private SearchOperation currentSearchOperation = null;\r
+\r
+ C.Theme theme = C.Theme.LIGHT;\r
+ int fontSizeSp;\r
+ EditText searchText;\r
+ Button langButton;\r
+\r
+ // Never null.\r
+ private File wordList = null;\r
+ private boolean saveOnlyFirstSubentry = false;\r
+ private boolean clickOpensContextMenu = false;\r
+\r
+ // Visible for testing.\r
+ ListAdapter indexAdapter = null;\r
+ \r
+ final SearchTextWatcher searchTextWatcher = new SearchTextWatcher();\r
+\r
+ //private Vibrator vibrator = null;\r
+ \r
+ public DictionaryActivity() {\r
+ }\r
+ \r
+ public static Intent getLaunchIntent(final String 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);\r
+ intent.putExtra(C.INDEX_INDEX, indexIndex);\r
+ intent.putExtra(C.SEARCH_TOKEN, searchToken);\r
+ return intent;\r
+ }\r
+ \r
+ @Override\r
+ protected void onSaveInstanceState(final Bundle outState) {\r
+ super.onSaveInstanceState(outState);\r
+ outState.putString(C.SEARCH_TOKEN, searchText.getText().toString());\r
+ }\r
+\r
+ @Override\r
+ protected void onRestoreInstanceState(final Bundle outState) {\r
+ super.onRestoreInstanceState(outState);\r
+ setSearchText(outState.getString(C.SEARCH_TOKEN));\r
+ }\r
+\r
+ public DictionaryApplication getDictionaryApplication() {\r
+ return (DictionaryApplication) super.getApplication();\r
+ }\r
+ \r
+ @Override\r
+ public void onCreate(Bundle savedInstanceState) {\r
+ // Clear them so that if something goes wrong, we won't relaunch.\r
+ clearDictionaryPrefs(this);\r
+ \r
+ Log.d(LOG, "onCreate:" + this);\r
+ theme = ((DictionaryApplication)getApplication()).getSelectedTheme();\r
+ super.onCreate(savedInstanceState);\r
+ \r
+ final Intent intent = getIntent();\r
+ dictFile = intent.getStringExtra(C.DICT_FILE);\r
+\r
+ try {\r
+ final String name = getDictionaryApplication().getDictionaryName(dictFile);\r
+ this.setTitle("QuickDic: " + name);\r
+ dictRaf = new RandomAccessFile(dictFile, "r");\r
+ dictionary = new Dictionary(dictRaf); \r
+ } catch (Exception e) {\r
+ Log.e(LOG, "Unable to load dictionary.", e);\r
+ if (dictRaf != null) {\r
+ try {\r
+ dictRaf.close();\r
+ } catch (IOException e1) {\r
+ Log.e(LOG, "Unable to close dictRaf.", e1);\r
+ }\r
+ dictRaf = null;\r
+ }\r
+ Toast.makeText(this, getString(R.string.invalidDictionary, "", e.getMessage()), Toast.LENGTH_LONG);\r
+ startActivity(DictionaryManagerActivity.getLaunchIntent());\r
+ finish();\r
+ return;\r
+ }\r
+\r
+ Log.d(LOG, "Loading index.");\r
+ indexIndex = intent.getIntExtra(C.INDEX_INDEX, 0) % dictionary.indices.size();\r
+ index = dictionary.indices.get(indexIndex);\r
+ setListAdapter(new IndexAdapter(index));\r
+ \r
+ // Pre-load the collators.\r
+ searchExecutor.execute(new Runnable() {\r
+ public void run() {\r
+ final long startMillis = System.currentTimeMillis();\r
+ \r
+ TransliteratorManager.init(new TransliteratorManager.Callback() {\r
+ @Override\r
+ public void onTransliteratorReady() {\r
+ uiHandler.post(new Runnable() {\r
+ @Override\r
+ public void run() {\r
+ onSearchTextChange(searchText.getText().toString());\r
+ }\r
+ });\r
+ }\r
+ });\r
+ \r
+ for (final Index index : dictionary.indices) {\r
+ Log.d(LOG, "Starting collator load for lang=" + index.sortLanguage.getIsoCode());\r
+ \r
+ final com.ibm.icu.text.Collator c = index.sortLanguage.getCollator(); \r
+ if (c.compare("pre-print", "preppy") >= 0) {\r
+ Log.e(LOG, c.getClass()\r
+ + " is buggy, lookups may not work properly.");\r
+ }\r
+ }\r
+ Log.d(LOG, "Loading collators took:"\r
+ + (System.currentTimeMillis() - startMillis));\r
+ }\r
+ });\r
+ \r
+ final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);\r
+ \r
+ final String fontSize = prefs.getString(getString(R.string.fontSizeKey), "14");\r
+ try {\r
+ fontSizeSp = Integer.parseInt(fontSize.trim());\r
+ } catch (NumberFormatException e) {\r
+ fontSizeSp = 12;\r
+ }\r
+\r
+ setContentView(R.layout.dictionary_activity);\r
+ searchText = (EditText) findViewById(R.id.SearchText);\r
+ searchText.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+ \r
+ langButton = (Button) findViewById(R.id.LangButton);\r
+ \r
+ searchText.requestFocus();\r
+ searchText.addTextChangedListener(searchTextWatcher);\r
+ final String search = prefs.getString(C.SEARCH_TOKEN, "");\r
+ searchText.setText(search);\r
+ searchText.setSelection(0, search.length());\r
+ Log.d(LOG, "Trying to restore searchText=" + search);\r
+ \r
+ final Button clearSearchTextButton = (Button) findViewById(R.id.ClearSearchTextButton);\r
+ clearSearchTextButton.setOnClickListener(new OnClickListener() {\r
+ public void onClick(View v) {\r
+ onClearSearchTextButton(clearSearchTextButton);\r
+ }\r
+ });\r
+ clearSearchTextButton.setVisibility(PreferenceManager.getDefaultSharedPreferences(this).getBoolean(\r
+ getString(R.string.showClearSearchTextButtonKey), true) ? View.VISIBLE\r
+ : View.GONE);\r
+ \r
+ final Button langButton = (Button) findViewById(R.id.LangButton);\r
+ langButton.setOnClickListener(new OnClickListener() {\r
+ public void onClick(View v) {\r
+ onLanguageButton();\r
+ }\r
+ });\r
+ langButton.setOnLongClickListener(new OnLongClickListener() {\r
+ @Override\r
+ public boolean onLongClick(View v) {\r
+ onLanguageButtonLongClick();\r
+ return true;\r
+ }\r
+ });\r
+ updateLangButton();\r
+ \r
+ final Button upButton = (Button) findViewById(R.id.UpButton);\r
+ upButton.setOnClickListener(new OnClickListener() {\r
+ public void onClick(View v) {\r
+ onUpDownButton(true);\r
+ }\r
+ });\r
+ final Button downButton = (Button) findViewById(R.id.DownButton);\r
+ downButton.setOnClickListener(new OnClickListener() {\r
+ public void onClick(View v) {\r
+ onUpDownButton(false);\r
+ }\r
+ });\r
+\r
+ getListView().setOnItemSelectedListener(new ListView.OnItemSelectedListener() {\r
+ @Override\r
+ public void onItemSelected(AdapterView<?> adapterView, View arg1, final int position,\r
+ long id) {\r
+ if (!searchText.isFocused()) {\r
+ // TODO: don't do this if multi words are entered.\r
+ final RowBase row = (RowBase) getListAdapter().getItem(position);\r
+ Log.d(LOG, "onItemSelected: " + row.index());\r
+ final TokenRow tokenRow = row.getTokenRow(true);\r
+ searchText.setText(tokenRow.getToken());\r
+ }\r
+ }\r
+\r
+ @Override\r
+ public void onNothingSelected(AdapterView<?> arg0) {\r
+ }\r
+ });\r
+\r
+ // ContextMenu.\r
+ registerForContextMenu(getListView());\r
+\r
+ // Prefs.\r
+ wordList = new File(prefs.getString(getString(R.string.wordListFileKey),\r
+ getString(R.string.wordListFileDefault)));\r
+ saveOnlyFirstSubentry = prefs.getBoolean(getString(R.string.saveOnlyFirstSubentryKey), false);\r
+ clickOpensContextMenu = prefs.getBoolean(getString(R.string.clickOpensContextMenuKey), false);\r
+ //if (prefs.getBoolean(getString(R.string.vibrateOnFailedSearchKey), true)) {\r
+ // vibrator = (Vibrator) getSystemService(Context.VIBRATOR_SERVICE);\r
+ //}\r
+ Log.d(LOG, "wordList=" + wordList + ", saveOnlyFirstSubentry=" + saveOnlyFirstSubentry);\r
+ \r
+ setDictionaryPrefs(this, dictFile, indexIndex, searchText.getText().toString());\r
+ }\r
+ \r
+ @Override\r
+ protected void onResume() {\r
+ super.onResume();\r
+ if (PreferenceActivity.prefsMightHaveChanged) {\r
+ PreferenceActivity.prefsMightHaveChanged = false;\r
+ finish();\r
+ startActivity(getIntent());\r
+ }\r
+ }\r
+ \r
+ @Override\r
+ protected void onPause() {\r
+ super.onPause();\r
+ }\r
+ \r
+ private static void setDictionaryPrefs(final Context context,\r
+ final String dictFile, final int indexIndex, final String searchToken) {\r
+ final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
+ prefs.putString(C.DICT_FILE, dictFile);\r
+ prefs.putInt(C.INDEX_INDEX, indexIndex);\r
+ prefs.putString(C.SEARCH_TOKEN, searchToken);\r
+ prefs.commit();\r
+ }\r
+\r
+ private static void clearDictionaryPrefs(final Context context) {\r
+ final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
+ prefs.remove(C.DICT_FILE);\r
+ prefs.remove(C.INDEX_INDEX);\r
+ prefs.remove(C.SEARCH_TOKEN);\r
+ prefs.commit();\r
+ }\r
+\r
+\r
+ @Override\r
+ protected void onDestroy() {\r
+ super.onDestroy();\r
+ if (dictRaf == null) {\r
+ return;\r
+ }\r
+ \r
+ // Before we close the RAF, we have to wind the current search down.\r
+ if (currentSearchOperation != null) {\r
+ Log.d(LOG, "Interrupting search to shut down.");\r
+ final SearchOperation searchOperation = currentSearchOperation;\r
+ currentSearchOperation = null;\r
+ searchOperation.interrupted.set(true);\r
+ synchronized (searchOperation) {\r
+ while (!searchOperation.done) {\r
+ try {\r
+ searchOperation.wait();\r
+ } catch (InterruptedException e) {\r
+ Log.d(LOG, "Interrupted.", e);\r
+ }\r
+ }\r
+ }\r
+ }\r
+ \r
+ try {\r
+ Log.d(LOG, "Closing RAF.");\r
+ dictRaf.close();\r
+ } catch (IOException e) {\r
+ Log.e(LOG, "Failed to close dictionary", e);\r
+ }\r
+ dictRaf = null;\r
+ }\r
+\r
+ // --------------------------------------------------------------------------\r
+ // Buttons\r
+ // --------------------------------------------------------------------------\r
+\r
+ private void onClearSearchTextButton(final Button clearSearchTextButton) {\r
+ clearSearchTextButton.requestFocus();\r
+ searchText.setText("");\r
+ searchText.requestFocus();\r
+ Log.d(LOG, "Trying to show soft keyboard.");\r
+ final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);\r
+ manager.showSoftInput(searchText, InputMethodManager.SHOW_FORCED);\r
+ }\r
+ \r
+ void updateLangButton() {\r
+ langButton.setText(index.shortName);\r
+ }\r
+\r
+ void onLanguageButton() {\r
+ if (currentSearchOperation != null) {\r
+ currentSearchOperation.interrupted.set(true);\r
+ currentSearchOperation = null;\r
+ }\r
+ changeIndex((indexIndex + 1)% dictionary.indices.size());\r
+ }\r
+ \r
+ static class OpenIndexButton extends Button implements OnClickListener {\r
+\r
+ final Activity activity;\r
+ final String dictFile;\r
+ final int indexIndex;\r
+\r
+ public OpenIndexButton(final Context context, final Activity activity, final String text, final String dictFile, final int indexIndex) {\r
+ super(context);\r
+ this.activity = activity;\r
+ this.dictFile = dictFile;\r
+ this.indexIndex = indexIndex;\r
+ setOnClickListener(this);\r
+ setText(text, BufferType.NORMAL);\r
+ }\r
+\r
+ @Override\r
+ public void onClick(View v) {\r
+ activity.finish();\r
+ getContext().startActivity(DictionaryActivity.getLaunchIntent(dictFile, indexIndex, ""));\r
+ }\r
+ \r
+ }\r
+\r
+ void onLanguageButtonLongClick() {\r
+ Context mContext = getApplicationContext();\r
+ Dialog dialog = new Dialog(mContext);\r
+ \r
+ dialog.setContentView(R.layout.select_dictionary_dialog);\r
+ dialog.setTitle(R.string.selectADictionary);\r
+\r
+ ListView listView = (ListView) dialog.findViewById(android.R.id.list);\r
+ \r
+ final List<DictionaryInfo> installedDicts = ((DictionaryApplication)getApplication()).getUsableDicts();\r
+\r
+ listView.setAdapter(new BaseAdapter() {\r
+ \r
+ @Override\r
+ public View getView(int position, View convertView, ViewGroup parent) {\r
+ final LinearLayout result = new LinearLayout(parent.getContext());\r
+ //result.addView(new Butt)\r
+ // TODO: me\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
+\r
+\r
+ private void changeIndex(final int newIndex) {\r
+ indexIndex = newIndex;\r
+ index = dictionary.indices.get(indexIndex);\r
+ indexAdapter = new IndexAdapter(index);\r
+ Log.d(LOG, "changingIndex, newLang=" + index.longName);\r
+ setListAdapter(indexAdapter);\r
+ updateLangButton();\r
+ searchText.requestFocus(); // Otherwise, nothing may happen.\r
+ onSearchTextChange(searchText.getText().toString());\r
+ }\r
+ \r
+ void onUpDownButton(final boolean up) {\r
+ final int firstVisibleRow = getListView().getFirstVisiblePosition();\r
+ final RowBase row = index.rows.get(firstVisibleRow);\r
+ final TokenRow tokenRow = row.getTokenRow(true);\r
+ final int destIndexEntry;\r
+ if (up) {\r
+ if (row != tokenRow) {\r
+ destIndexEntry = tokenRow.referenceIndex;\r
+ } else {\r
+ destIndexEntry = Math.max(tokenRow.referenceIndex - 1, 0);\r
+ }\r
+ } else {\r
+ // Down\r
+ destIndexEntry = Math.min(tokenRow.referenceIndex + 1, index.sortedIndexEntries.size());\r
+ }\r
+ final Index.IndexEntry dest = index.sortedIndexEntries.get(destIndexEntry);\r
+ Log.d(LOG, "onUpDownButton, destIndexEntry=" + dest.token);\r
+ searchText.removeTextChangedListener(searchTextWatcher);\r
+ searchText.setText(dest.token);\r
+ jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);\r
+ searchText.addTextChangedListener(searchTextWatcher);\r
+ }\r
+\r
+ // --------------------------------------------------------------------------\r
+ // Options Menu\r
+ // --------------------------------------------------------------------------\r
+ \r
+ @Override\r
+ public boolean onCreateOptionsMenu(final Menu menu) {\r
+ \r
+ {\r
+ final MenuItem preferences = menu.add(getString(R.string.preferences));\r
+ preferences.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+ public boolean onMenuItemClick(final MenuItem menuItem) {\r
+ PreferenceActivity.prefsMightHaveChanged = true;\r
+ startActivity(new Intent(DictionaryActivity.this,\r
+ PreferenceActivity.class));\r
+ return false;\r
+ }\r
+ });\r
+ }\r
+\r
+ {\r
+ final MenuItem dictionaryList = menu.add(getString(R.string.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 about = menu.add(getString(R.string.about));\r
+ about.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+ public boolean onMenuItemClick(final MenuItem menuItem) {\r
+ final Intent intent = new Intent().setClassName(AboutActivity.class\r
+ .getPackage().getName(), AboutActivity.class.getCanonicalName());\r
+ startActivity(intent);\r
+ return false;\r
+ }\r
+ });\r
+ }\r
+\r
+ return true;\r
+ }\r
+\r
+\r
+ // --------------------------------------------------------------------------\r
+ // Context Menu + clicks\r
+ // --------------------------------------------------------------------------\r
+\r
+ @Override\r
+ public void onCreateContextMenu(ContextMenu menu, View v,\r
+ ContextMenuInfo menuInfo) {\r
+ AdapterContextMenuInfo adapterContextMenuInfo = (AdapterContextMenuInfo) menuInfo;\r
+ final RowBase row = (RowBase) getListAdapter().getItem(adapterContextMenuInfo.position);\r
+\r
+ final MenuItem addToWordlist = menu.add(getString(R.string.addToWordList, wordList.getName()));\r
+ addToWordlist.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+ public boolean onMenuItemClick(MenuItem item) {\r
+ onAppendToWordList(row);\r
+ return false;\r
+ }\r
+ });\r
+\r
+ final MenuItem copy = menu.add(android.R.string.copy);\r
+ copy.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+ public boolean onMenuItemClick(MenuItem item) {\r
+ onCopy(row);\r
+ return false;\r
+ }\r
+ });\r
+ \r
+ if (selectedSpannableText != null) {\r
+ final String selectedText = selectedSpannableText;\r
+ final MenuItem searchForSelection = menu.add(getString(R.string.searchForSelection, selectedSpannableText));\r
+ searchForSelection.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
+ public boolean onMenuItemClick(MenuItem item) {\r
+ if (indexIndex != selectedSpannableIndex) {\r
+ changeIndex(selectedSpannableIndex);\r
+ }\r
+ setSearchText(selectedText);\r
+ return false;\r
+ }\r
+ });\r
+ }\r
+ \r
+\r
+ }\r
+ \r
+ @Override\r
+ protected void onListItemClick(ListView l, View v, int row, long id) {\r
+ defocusSearchText();\r
+ \r
+ if (clickOpensContextMenu && dictRaf != null) {\r
+ openContextMenu(v);\r
+ }\r
+ }\r
+ \r
+ void onAppendToWordList(final RowBase row) {\r
+ defocusSearchText();\r
+ \r
+ final StringBuilder rawText = new StringBuilder();\r
+ rawText.append(\r
+ new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date()))\r
+ .append("\t");\r
+ rawText.append(index.longName).append("\t");\r
+ rawText.append(row.getTokenRow(true).getToken()).append("\t");\r
+ rawText.append(row.getRawText(saveOnlyFirstSubentry));\r
+ Log.d(LOG, "Writing : " + rawText);\r
+\r
+ try {\r
+ wordList.getParentFile().mkdirs();\r
+ final PrintWriter out = new PrintWriter(\r
+ new FileWriter(wordList, true));\r
+ out.println(rawText.toString());\r
+ out.close();\r
+ } catch (IOException e) {\r
+ Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);\r
+ Toast.makeText(this, getString(R.string.failedAddingToWordList, wordList.getAbsolutePath()), Toast.LENGTH_LONG);\r
+ }\r
+ return;\r
+ }\r
+ \r
+ /**\r
+ * Called when user clicks outside of search text, so that they can start\r
+ * typing again immediately.\r
+ */\r
+ void defocusSearchText() {\r
+ //Log.d(LOG, "defocusSearchText");\r
+ // Request focus so that if we start typing again, it clears the text input.\r
+ getListView().requestFocus();\r
+ \r
+ // Visual indication that a new keystroke will clear the search text.\r
+ searchText.selectAll();\r
+ }\r
+\r
+ void onCopy(final RowBase row) {\r
+ defocusSearchText();\r
+\r
+ Log.d(LOG, "Copy, row=" + row);\r
+ final StringBuilder result = new StringBuilder();\r
+ result.append(row.getRawText(false));\r
+ final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);\r
+ clipboardManager.setText(result.toString());\r
+ Log.d(LOG, "Copied: " + result);\r
+ }\r
+\r
+ @Override\r
+ public boolean onKeyDown(final int keyCode, final KeyEvent event) {\r
+ if (event.getUnicodeChar() != 0) {\r
+ if (!searchText.hasFocus()) {\r
+ setSearchText("" + (char) event.getUnicodeChar());\r
+ }\r
+ return true;\r
+ }\r
+ if (keyCode == KeyEvent.KEYCODE_BACK) {\r
+ Log.d(LOG, "Clearing dictionary prefs.");\r
+ DictionaryActivity.clearDictionaryPrefs(this);\r
+ }\r
+ if (keyCode == KeyEvent.KEYCODE_ENTER) {\r
+ Log.d(LOG, "Trying to hide soft keyboard.");\r
+ final InputMethodManager inputManager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);\r
+ inputManager.hideSoftInputFromWindow(this.getCurrentFocus().getWindowToken(), InputMethodManager.HIDE_NOT_ALWAYS);\r
+ return true;\r
+ }\r
+ return super.onKeyDown(keyCode, event);\r
+ }\r
+\r
+ private void setSearchText(final String text) {\r
+ searchText.setText(text);\r
+ searchText.requestFocus();\r
+ onSearchTextChange(searchText.getText().toString());\r
+ Selection.moveToRightEdge(searchText.getText(), searchText.getLayout());\r
+ }\r
+\r
+\r
+ // --------------------------------------------------------------------------\r
+ // SearchOperation\r
+ // --------------------------------------------------------------------------\r
+\r
+ private void searchFinished(final SearchOperation searchOperation) {\r
+ if (searchOperation.interrupted.get()) {\r
+ Log.d(LOG, "Search operation was interrupted: " + searchOperation);\r
+ return;\r
+ }\r
+ if (searchOperation != this.currentSearchOperation) {\r
+ Log.d(LOG, "Stale searchOperation finished: " + searchOperation);\r
+ return;\r
+ }\r
+ \r
+ final Index.IndexEntry searchResult = searchOperation.searchResult;\r
+ Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);\r
+\r
+ currentSearchOperation = null;\r
+\r
+ uiHandler.postDelayed(new Runnable() {\r
+ @Override\r
+ public void run() {\r
+ if (currentSearchOperation == null) {\r
+ jumpToRow(searchResult.startRow);\r
+ } else {\r
+ Log.d(LOG, "More coming, waiting for currentSearchOperation.");\r
+ }\r
+ }\r
+ }, 50);\r
+ \r
+// if (!searchResult.success) {\r
+// if (vibrator != null) {\r
+// vibrator.vibrate(VIBRATE_MILLIS);\r
+// }\r
+// searchText.setText(searchResult.longestPrefixString);\r
+// searchText.setSelection(searchResult.longestPrefixString.length());\r
+// return;\r
+// }\r
+ \r
+ }\r
+ \r
+ private final void jumpToRow(final int row) {\r
+ setSelection(row);\r
+ getListView().setSelected(true);\r
+ }\r
+\r
+ final class SearchOperation implements Runnable {\r
+ \r
+ final AtomicBoolean interrupted = new AtomicBoolean(false);\r
+ final String searchText;\r
+ final Index index;\r
+ \r
+ long searchStartMillis;\r
+\r
+ Index.IndexEntry searchResult;\r
+ \r
+ boolean done = false;\r
+ \r
+ SearchOperation(final String searchText, final Index index) {\r
+ this.searchText = searchText.trim();\r
+ this.index = index;\r
+ }\r
+ \r
+ public String toString() {\r
+ return String.format("SearchOperation(%s,%s)", searchText, interrupted.toString());\r
+ }\r
+\r
+ @Override\r
+ public void run() {\r
+ try {\r
+ searchStartMillis = System.currentTimeMillis();\r
+ searchResult = index.findInsertionPoint(searchText, interrupted);\r
+ Log.d(LOG, "searchText=" + searchText + ", searchDuration="\r
+ + (System.currentTimeMillis() - searchStartMillis) + ", interrupted="\r
+ + interrupted.get());\r
+ if (!interrupted.get()) {\r
+ uiHandler.post(new Runnable() {\r
+ @Override\r
+ public void run() { \r
+ searchFinished(SearchOperation.this);\r
+ }\r
+ });\r
+ }\r
+ } finally {\r
+ synchronized (this) {\r
+ done = true;\r
+ this.notifyAll();\r
+ }\r
+ }\r
+ }\r
+ }\r
+\r
+ \r
+ // --------------------------------------------------------------------------\r
+ // IndexAdapter\r
+ // --------------------------------------------------------------------------\r
+\r
+ final class IndexAdapter extends BaseAdapter {\r
+ \r
+ final Index index;\r
+\r
+ IndexAdapter(final Index index) {\r
+ this.index = index;\r
+ }\r
+\r
+ @Override\r
+ public int getCount() {\r
+ return index.rows.size();\r
+ }\r
+\r
+ @Override\r
+ public RowBase getItem(int position) {\r
+ return index.rows.get(position);\r
+ }\r
+\r
+ @Override\r
+ public long getItemId(int position) {\r
+ return getItem(position).index();\r
+ }\r
+\r
+ @Override\r
+ public View getView(int position, final View convertView, ViewGroup parent) {\r
+ final RowBase row = index.rows.get(position);\r
+ if (row instanceof PairEntry.Row) {\r
+ return getView((PairEntry.Row) row, parent, convertView);\r
+ } else if (row instanceof TokenRow) {\r
+ return getView((TokenRow) row, parent, convertView);\r
+ } else {\r
+ throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());\r
+ }\r
+ }\r
+\r
+ private View getView(PairEntry.Row row, ViewGroup parent, final View convertView) {\r
+ final TableLayout result = new TableLayout(parent.getContext());\r
+ final PairEntry entry = row.getEntry();\r
+ final int rowCount = entry.pairs.size();\r
+ for (int r = 0; r < rowCount; ++r) {\r
+ final TableRow tableRow = new TableRow(result.getContext());\r
+\r
+ final TextView col1 = new TextView(tableRow.getContext());\r
+ final TextView col2 = new TextView(tableRow.getContext());\r
+ final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();\r
+ layoutParams.weight = 0.5f;\r
+\r
+ // Set the columns in the table.\r
+ if (r > 0) {\r
+ final TextView bullet = new TextView(tableRow.getContext());\r
+ bullet.setText(" • ");\r
+ tableRow.addView(bullet);\r
+ }\r
+ tableRow.addView(col1, layoutParams);\r
+ final TextView margin = new TextView(tableRow.getContext());\r
+ margin.setText(" ");\r
+ tableRow.addView(margin);\r
+ if (r > 0) {\r
+ final TextView bullet = new TextView(tableRow.getContext());\r
+ bullet.setText(" • ");\r
+ tableRow.addView(bullet);\r
+ }\r
+ tableRow.addView(col2, layoutParams);\r
+ col1.setWidth(1);\r
+ col2.setWidth(1);\r
+ \r
+ // Set what's in the columns.\r
+\r
+ // TODO: color words by gender\r
+ final Pair pair = entry.pairs.get(r);\r
+ final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;\r
+ final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;\r
+ \r
+ col1.setText(col1Text, TextView.BufferType.SPANNABLE);\r
+ col2.setText(col2Text, TextView.BufferType.SPANNABLE);\r
+ \r
+ // Bold the token instances in col1.\r
+ final Spannable col1Spannable = (Spannable) col1.getText();\r
+ int startPos = 0;\r
+ final String token = row.getTokenRow(true).getToken();\r
+ while ((startPos = col1Text.indexOf(token, startPos)) != -1) {\r
+ col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos,\r
+ startPos + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);\r
+ startPos += token.length();\r
+ }\r
+ \r
+ createTokenLinkSpans(col1, col1Spannable, col1Text);\r
+ createTokenLinkSpans(col2, (Spannable) col2.getText(), col2Text);\r
+ \r
+ col1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+ col2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+ // col2.setBackgroundResource(theme.otherLangBg);\r
+ \r
+ if (index.swapPairEntries) {\r
+ col2.setOnLongClickListener(textViewLongClickListenerIndex0);\r
+ col1.setOnLongClickListener(textViewLongClickListenerIndex1);\r
+ } else {\r
+ col1.setOnLongClickListener(textViewLongClickListenerIndex0);\r
+ col2.setOnLongClickListener(textViewLongClickListenerIndex1);\r
+ }\r
+ \r
+ result.addView(tableRow);\r
+ }\r
+\r
+ return result;\r
+\r
+ \r
+// final WebView result = (WebView) (convertView instanceof WebView ? convertView : new WebView(parent.getContext()));\r
+// \r
+// final PairEntry entry = row.getEntry();\r
+// final int rowCount = entry.pairs.size();\r
+// final StringBuilder html = new StringBuilder();\r
+// html.append("<html><body><table width=\"100%\">");\r
+// for (int r = 0; r < rowCount; ++r) {\r
+// html.append("<tr>");\r
+//\r
+// final Pair pair = entry.pairs.get(r);\r
+// // TODO: escape both the token and the text.\r
+// final String token = row.getTokenRow(true).getToken();\r
+// final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;\r
+// final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;\r
+// \r
+// col1Text.replaceAll(token, String.format("<b>%s</b>", token));\r
+//\r
+// // Column1\r
+// html.append("<td width=\"50%\">");\r
+// if (r > 0) {\r
+// html.append("<li>");\r
+// }\r
+// html.append(col1Text);\r
+// html.append("</td>");\r
+//\r
+// // Column2\r
+// html.append("<td width=\"50%\">");\r
+// if (r > 0) {\r
+// html.append("<li>");\r
+// }\r
+// html.append(col2Text);\r
+// html.append("</td>");\r
+//\r
+//// column1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+//// column2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);\r
+//\r
+// html.append("</tr>");\r
+// }\r
+// html.append("</table></body></html>");\r
+// \r
+// Log.i(LOG, html.toString());\r
+// \r
+// result.getSettings().setRenderPriority(RenderPriority.HIGH);\r
+// result.getSettings().setCacheMode(WebSettings.LOAD_NO_CACHE);\r
+// \r
+// result.loadData("<html><body><table><tr><td>line (connected series of public conveyances, and hence, an established arrangement for forwarding merchandise, etc.) (noun)</td><td>verbinding</td></tr></table></body></html>", "text/html", "utf-8");\r
+//\r
+// return result;\r
+ }\r
+\r
+ private View getView(TokenRow row, ViewGroup parent, final View convertView) {\r
+ final Context context = parent.getContext();\r
+ final TextView textView = new TextView(context);\r
+ textView.setText(row.getToken());\r
+ textView.setBackgroundResource(row.hasMainEntry ? theme.tokenRowMainBg : theme.tokenRowOtherBg);\r
+ // Doesn't work:\r
+ //textView.setTextColor(android.R.color.secondary_text_light);\r
+ textView.setTextAppearance(context, theme.tokenRowFg);\r
+ textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, 5 * fontSizeSp / 4);\r
+ return textView;\r
+ }\r
+ \r
+ }\r
+\r
+ static final Pattern CHAR_DASH = Pattern.compile("['\\p{L}0-9]+");\r
+\r
+ private void createTokenLinkSpans(final TextView textView, final Spannable spannable, final String text) {\r
+ // Saw from the source code that LinkMovementMethod sets the selection!\r
+ // http://grepcode.com/file/repository.grepcode.com/java/ext/com.google.android/android/2.3.1_r1/android/text/method/LinkMovementMethod.java#LinkMovementMethod\r
+ textView.setMovementMethod(LinkMovementMethod.getInstance());\r
+ final Matcher matcher = CHAR_DASH.matcher(text);\r
+ while (matcher.find()) {\r
+ spannable.setSpan(new NonLinkClickableSpan(), matcher.start(), matcher.end(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);\r
+ }\r
+ }\r
+ \r
+\r
+ String selectedSpannableText = null;\r
+ int selectedSpannableIndex = -1;\r
+\r
+ @Override\r
+ public boolean onTouchEvent(MotionEvent event) {\r
+ selectedSpannableText = null;\r
+ selectedSpannableIndex = -1;\r
+ return super.onTouchEvent(event);\r
+ }\r
+\r
+ private class TextViewLongClickListener implements OnLongClickListener {\r
+ final int index;\r
+ \r
+ private TextViewLongClickListener(final int index) {\r
+ this.index = index;\r
+ }\r
+\r
+ @Override\r
+ public boolean onLongClick(final View v) {\r
+ final TextView textView = (TextView) v;\r
+ final int start = textView.getSelectionStart();\r
+ final int end = textView.getSelectionEnd();\r
+ if (start >= 0 && end >= 0) {\r
+ selectedSpannableText = textView.getText().subSequence(start, end).toString();\r
+ selectedSpannableIndex = index;\r
+ }\r
+ return false;\r
+ }\r
+ }\r
+ final TextViewLongClickListener textViewLongClickListenerIndex0 = new TextViewLongClickListener(0);\r
+ final TextViewLongClickListener textViewLongClickListenerIndex1 = new TextViewLongClickListener(1);\r
+ \r
+\r
+ // --------------------------------------------------------------------------\r
+ // SearchText\r
+ // --------------------------------------------------------------------------\r
+\r
+ void onSearchTextChange(final String text) {\r
+ if (dictRaf == null) {\r
+ Log.d(LOG, "searchText changed during shutdown, doing nothing.");\r
+ return;\r
+ }\r
+ if (!searchText.isFocused()) {\r
+ Log.d(LOG, "searchText changed without focus, doing nothing.");\r
+ return;\r
+ }\r
+ Log.d(LOG, "onSearchTextChange: " + text); \r
+ if (currentSearchOperation != null) {\r
+ Log.d(LOG, "Interrupting currentSearchOperation.");\r
+ currentSearchOperation.interrupted.set(true);\r
+ }\r
+ currentSearchOperation = new SearchOperation(text, index);\r
+ searchExecutor.execute(currentSearchOperation);\r
+ }\r
+ \r
+ private class SearchTextWatcher implements TextWatcher {\r
+ public void afterTextChanged(final Editable searchTextEditable) {\r
+ if (searchText.hasFocus()) {\r
+ Log.d(LOG, "Search text changed with focus: " + searchText.getText());\r
+ // If they were typing to cause the change, update the UI.\r
+ onSearchTextChange(searchText.getText().toString());\r
+ }\r
+ }\r
+\r
+ public void beforeTextChanged(CharSequence arg0, int arg1, int arg2,\r
+ int arg3) {\r
+ }\r
+\r
+ public void onTextChanged(CharSequence arg0, int arg1, int arg2, int arg3) {\r
+ }\r
+ }\r
+\r
+}\r