1 // Copyright 2011 Google Inc. All Rights Reserved.
2 // Some Parts Copyright 2013 Dominik Köppl
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
7 // http://www.apache.org/licenses/LICENSE-2.0
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
15 package com.hughes.android.dictionary;
17 import android.annotation.SuppressLint;
18 import android.app.Dialog;
19 import android.app.SearchManager;
20 import android.content.Context;
21 import android.content.Intent;
22 import android.content.SharedPreferences;
23 import android.graphics.Color;
24 import android.graphics.Typeface;
25 import android.net.Uri;
26 import android.os.Bundle;
27 import android.os.Handler;
28 import android.preference.PreferenceManager;
29 import android.speech.tts.TextToSpeech;
30 import android.speech.tts.TextToSpeech.OnInitListener;
31 import android.support.v4.view.MenuItemCompat;
32 import android.support.v7.app.ActionBar;
33 import android.support.v7.app.ActionBarActivity;
34 import android.support.v7.widget.SearchView;
35 import android.support.v7.widget.SearchView.OnQueryTextListener;
36 import android.text.ClipboardManager;
37 import android.text.Spannable;
38 import android.text.method.LinkMovementMethod;
39 import android.text.style.ClickableSpan;
40 import android.text.style.StyleSpan;
41 import android.util.Log;
42 import android.util.TypedValue;
43 import android.view.ContextMenu;
44 import android.view.ContextMenu.ContextMenuInfo;
45 import android.view.Gravity;
46 import android.view.KeyEvent;
47 import android.view.Menu;
48 import android.view.MenuItem;
49 import android.view.MenuItem.OnMenuItemClickListener;
50 import android.view.MotionEvent;
51 import android.view.View;
52 import android.view.View.OnClickListener;
53 import android.view.View.OnLongClickListener;
54 import android.view.ViewGroup;
55 import android.view.WindowManager;
56 import android.view.inputmethod.EditorInfo;
57 import android.view.inputmethod.InputMethodManager;
58 import android.widget.AdapterView;
59 import android.widget.AdapterView.AdapterContextMenuInfo;
60 import android.widget.AdapterView.OnItemClickListener;
61 import android.widget.BaseAdapter;
62 import android.widget.Button;
63 import android.widget.FrameLayout;
64 import android.widget.ImageButton;
65 import android.widget.ImageView;
66 import android.widget.ImageView.ScaleType;
67 import android.widget.LinearLayout;
68 import android.widget.ListAdapter;
69 import android.widget.ListView;
70 import android.widget.TableLayout;
71 import android.widget.TableRow;
72 import android.widget.TextView;
73 import android.widget.TextView.BufferType;
74 import android.widget.Toast;
76 import com.hughes.android.dictionary.DictionaryInfo.IndexInfo;
77 import com.hughes.android.dictionary.engine.Dictionary;
78 import com.hughes.android.dictionary.engine.EntrySource;
79 import com.hughes.android.dictionary.engine.HtmlEntry;
80 import com.hughes.android.dictionary.engine.Index;
81 import com.hughes.android.dictionary.engine.Index.IndexEntry;
82 import com.hughes.android.dictionary.engine.Language.LanguageResources;
83 import com.hughes.android.dictionary.engine.PairEntry;
84 import com.hughes.android.dictionary.engine.PairEntry.Pair;
85 import com.hughes.android.dictionary.engine.RowBase;
86 import com.hughes.android.dictionary.engine.TokenRow;
87 import com.hughes.android.dictionary.engine.TransliteratorManager;
88 import com.hughes.android.util.IntentLauncher;
89 import com.hughes.android.util.NonLinkClickableSpan;
90 import com.hughes.util.StringUtil;
93 import java.io.FileWriter;
94 import java.io.IOException;
95 import java.io.PrintWriter;
96 import java.io.RandomAccessFile;
97 import java.text.SimpleDateFormat;
98 import java.util.Arrays;
99 import java.util.Collections;
100 import java.util.Date;
101 import java.util.HashMap;
102 import java.util.LinkedHashSet;
103 import java.util.List;
104 import java.util.Locale;
105 import java.util.Random;
106 import java.util.Set;
107 import java.util.concurrent.Executor;
108 import java.util.concurrent.Executors;
109 import java.util.concurrent.ThreadFactory;
110 import java.util.concurrent.atomic.AtomicBoolean;
111 import java.util.regex.Matcher;
112 import java.util.regex.Pattern;
114 public class DictionaryActivity extends ActionBarActivity {
116 static final String LOG = "QuickDic";
118 DictionaryApplication application;
120 File dictFile = null;
121 RandomAccessFile dictRaf = null;
123 Dictionary dictionary = null;
129 List<RowBase> rowsToShow = null; // if not null, just show these rows.
131 final Handler uiHandler = new Handler();
133 private final Executor searchExecutor = Executors.newSingleThreadExecutor(new ThreadFactory() {
135 public Thread newThread(Runnable r) {
136 return new Thread(r, "searchExecutor");
140 private SearchOperation currentSearchOperation = null;
142 TextToSpeech textToSpeech;
143 volatile boolean ttsReady;
146 DictionaryApplication.Theme theme = DictionaryApplication.Theme.LIGHT;
147 int textColorFg = Color.BLACK;
150 private ListView listView;
151 private ListView getListView() {
152 if (listView == null) {
153 listView = (ListView)findViewById(android.R.id.list);
158 private void setListAdapter(ListAdapter adapter) {
159 getListView().setAdapter(adapter);
162 private ListAdapter getListAdapter() {
163 return getListView().getAdapter();
166 SearchView searchView;
167 ImageButton languageButton;
168 SearchView.OnQueryTextListener onQueryTextListener;
170 MenuItem nextWordMenuItem, previousWordMenuItem;
173 private File wordList = null;
174 private boolean saveOnlyFirstSubentry = false;
175 private boolean clickOpensContextMenu = false;
177 // Visible for testing.
178 ListAdapter indexAdapter = null;
181 * For some languages, loading the transliterators used in this search takes
182 * a long time, so we fire it up on a different thread, and don't invoke it
183 * from the main thread until it's already finished once.
185 private volatile boolean indexPrepFinished = false;
187 public DictionaryActivity() {
190 public static Intent getLaunchIntent(Context c, final File dictFile, final String indexShortName,
191 final String searchToken) {
192 final Intent intent = new Intent(c, DictionaryActivity.class);
193 intent.putExtra(C.DICT_FILE, dictFile.getPath());
194 intent.putExtra(C.INDEX_SHORT_NAME, indexShortName);
195 intent.putExtra(C.SEARCH_TOKEN, searchToken);
200 protected void onSaveInstanceState(final Bundle outState) {
201 super.onSaveInstanceState(outState);
202 Log.d(LOG, "onSaveInstanceState: " + searchView.getQuery().toString());
203 outState.putString(C.INDEX_SHORT_NAME, index.shortName);
204 outState.putString(C.SEARCH_TOKEN, searchView.getQuery().toString());
208 public void onCreate(Bundle savedInstanceState) {
209 // This needs to be before super.onCreate, otherwise ActionbarSherlock
210 // doesn't makes the background of the actionbar white when you're
211 // in the dark theme.
212 setTheme(((DictionaryApplication) getApplication()).getSelectedTheme().themeId);
214 Log.d(LOG, "onCreate:" + this);
215 super.onCreate(savedInstanceState);
217 final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);
219 // Don't auto-launch if this fails.
220 prefs.edit().remove(C.DICT_FILE).commit();
222 setContentView(R.layout.dictionary_activity);
224 application = (DictionaryApplication) getApplication();
225 theme = application.getSelectedTheme();
226 textColorFg = getResources().getColor(theme.tokenRowFgColor);
228 final Intent intent = getIntent();
229 String intentAction = intent.getAction();
231 * @author Dominik Köppl Querying the Intent
232 * com.hughes.action.ACTION_SEARCH_DICT is the advanced query
233 * Arguments: SearchManager.QUERY -> the phrase to search from
234 * -> language in which the phrase is written to -> to which
235 * language shall be translated
237 if (intentAction != null && intentAction.equals("com.hughes.action.ACTION_SEARCH_DICT"))
239 String query = intent.getStringExtra(SearchManager.QUERY);
240 String from = intent.getStringExtra("from");
242 from = from.toLowerCase(Locale.US);
243 String to = intent.getStringExtra("to");
245 to = to.toLowerCase(Locale.US);
248 getIntent().putExtra(C.SEARCH_TOKEN, query);
250 if (intent.getStringExtra(C.DICT_FILE) == null && (from != null || to != null))
252 Log.d(LOG, "DictSearch: from: " + from + " to " + to);
253 List<DictionaryInfo> dicts = application.getDictionariesOnDevice(null);
254 for (DictionaryInfo info : dicts)
256 boolean hasFrom = from == null;
257 boolean hasTo = to == null;
258 for (IndexInfo index : info.indexInfos)
260 if (!hasFrom && index.shortName.toLowerCase(Locale.US).equals(from))
262 if (!hasTo && index.shortName.toLowerCase(Locale.US).equals(to))
265 if (hasFrom && hasTo)
270 for (; which_index < info.indexInfos.size(); ++which_index)
272 if (info.indexInfos.get(which_index).shortName.toLowerCase(
273 Locale.US).equals(from))
276 intent.putExtra(C.INDEX_SHORT_NAME,
277 info.indexInfos.get(which_index).shortName);
280 intent.putExtra(C.DICT_FILE, application.getPath(info.uncompressedFilename)
289 * @author Dominik Köppl Querying the Intent Intent.ACTION_SEARCH is a
290 * simple query Arguments follow from android standard (see
293 if (intentAction != null && intentAction.equals(Intent.ACTION_SEARCH))
295 String query = intent.getStringExtra(SearchManager.QUERY);
297 getIntent().putExtra(C.SEARCH_TOKEN, query);
300 * @author Dominik Köppl If no dictionary is chosen, use the default
301 * dictionary specified in the preferences If this step does
302 * fail (no default directory specified), show a toast and
305 if (intent.getStringExtra(C.DICT_FILE) == null)
307 String dictfile = prefs.getString(getString(R.string.defaultDicKey), null);
308 if (dictfile != null)
309 intent.putExtra(C.DICT_FILE, application.getPath(dictfile).toString());
311 String dictFilename = intent.getStringExtra(C.DICT_FILE);
313 if (dictFilename == null)
315 Toast.makeText(this, getString(R.string.no_dict_file), Toast.LENGTH_LONG).show();
316 startActivity(DictionaryManagerActivity.getLaunchIntent(getApplicationContext()));
320 if (dictFilename != null)
321 dictFile = new File(dictFilename);
324 textToSpeech = new TextToSpeech(getApplicationContext(), new OnInitListener() {
326 public void onInit(int status) {
333 final String name = application.getDictionaryName(dictFile.getName());
334 this.setTitle("QuickDic: " + name);
335 dictRaf = new RandomAccessFile(dictFile, "r");
336 dictionary = new Dictionary(dictRaf);
337 } catch (Exception e) {
338 Log.e(LOG, "Unable to load dictionary.", e);
339 if (dictRaf != null) {
342 } catch (IOException e1) {
343 Log.e(LOG, "Unable to close dictRaf.", e1);
347 Toast.makeText(this, getString(R.string.invalidDictionary, "", e.getMessage()),
348 Toast.LENGTH_LONG).show();
349 startActivity(DictionaryManagerActivity.getLaunchIntent(getApplicationContext()));
353 String targetIndex = intent.getStringExtra(C.INDEX_SHORT_NAME);
354 if (savedInstanceState != null && savedInstanceState.getString(C.INDEX_SHORT_NAME) != null) {
355 targetIndex = savedInstanceState.getString(C.INDEX_SHORT_NAME);
358 for (int i = 0; i < dictionary.indices.size(); ++i) {
359 if (dictionary.indices.get(i).shortName.equals(targetIndex)) {
364 Log.d(LOG, "Loading index " + indexIndex);
365 index = dictionary.indices.get(indexIndex);
366 setListAdapter(new IndexAdapter(index));
368 // Pre-load the collators.
369 new Thread(new Runnable() {
371 final long startMillis = System.currentTimeMillis();
373 TransliteratorManager.init(new TransliteratorManager.Callback() {
375 public void onTransliteratorReady() {
376 uiHandler.post(new Runnable() {
379 onSearchTextChange(searchView.getQuery().toString());
385 for (final Index index : dictionary.indices) {
386 final String searchToken = index.sortedIndexEntries.get(0).token;
387 final IndexEntry entry = index.findExact(searchToken);
388 if (!searchToken.equals(entry.token)) {
389 Log.e(LOG, "Couldn't find token: " + searchToken + ", " + entry.token);
392 indexPrepFinished = true;
393 } catch (Exception e) {
395 "Exception while prepping. This can happen if dictionary is closed while search is happening.");
397 Log.d(LOG, "Prepping indices took:" + (System.currentTimeMillis() - startMillis));
401 String fontName = prefs.getString(getString(R.string.fontKey), "FreeSerif.otf.jpg");
402 if ("SYSTEM".equals(fontName)) {
403 typeface = Typeface.DEFAULT;
404 } else if ("SERIF".equals(fontName)) {
405 typeface = Typeface.SERIF;
406 } else if ("SANS_SERIF".equals(fontName)) {
407 typeface = Typeface.SANS_SERIF;
408 } else if ("MONOSPACE".equals(fontName)) {
409 typeface = Typeface.MONOSPACE;
411 if ("FreeSerif.ttf.jpg".equals(fontName)) {
412 fontName = "FreeSerif.otf.jpg";
415 typeface = Typeface.createFromAsset(getAssets(), fontName);
416 } catch (Exception e) {
417 Log.w(LOG, "Exception trying to use typeface, using default.", e);
418 Toast.makeText(this, getString(R.string.fontFailure, e.getLocalizedMessage()),
419 Toast.LENGTH_LONG).show();
422 if (typeface == null) {
423 Log.w(LOG, "Unable to create typeface, using default.");
424 typeface = Typeface.DEFAULT;
426 final String fontSize = prefs.getString(getString(R.string.fontSizeKey), "14");
428 fontSizeSp = Integer.parseInt(fontSize.trim());
429 } catch (NumberFormatException e) {
434 registerForContextMenu(getListView());
437 wordList = application.getWordListFile();
438 saveOnlyFirstSubentry = prefs.getBoolean(getString(R.string.saveOnlyFirstSubentryKey),
440 clickOpensContextMenu = prefs.getBoolean(getString(R.string.clickOpensContextMenuKey),
442 Log.d(LOG, "wordList=" + wordList + ", saveOnlyFirstSubentry=" + saveOnlyFirstSubentry);
444 onCreateSetupActionBarAndSearchView();
446 // Set the search text from the intent, then the saved state.
447 String text = getIntent().getStringExtra(C.SEARCH_TOKEN);
448 if (savedInstanceState != null) {
449 text = savedInstanceState.getString(C.SEARCH_TOKEN);
454 setSearchText(text, true);
455 Log.d(LOG, "Trying to restore searchText=" + text);
457 setDictionaryPrefs(this, dictFile, index.shortName, searchView.getQuery().toString());
460 searchView.requestFocus();
462 // http://stackoverflow.com/questions/2833057/background-listview-becomes-black-when-scrolling
463 // getListView().setCacheColorHint(0);
466 private void onCreateSetupActionBarAndSearchView() {
467 ActionBar actionBar = getSupportActionBar();
468 actionBar.setDisplayShowTitleEnabled(false);
469 actionBar.setDisplayShowHomeEnabled(false);
470 actionBar.setDisplayHomeAsUpEnabled(false);
472 final LinearLayout customSearchView = new LinearLayout(getSupportActionBar().getThemedContext());
474 final int width = (int) TypedValue.applyDimension(TypedValue.COMPLEX_UNIT_DIP, 300,
475 getResources().getDisplayMetrics());
476 final LinearLayout.LayoutParams layoutParams = new LinearLayout.LayoutParams(
477 ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT);
478 customSearchView.setLayoutParams(layoutParams);
480 listView.setOnItemClickListener(new OnItemClickListener() {
482 public void onItemClick(AdapterView<?> parent, View view, int row, long id) {
483 onListItemClick(getListView(), view, row, id);
487 languageButton = new ImageButton(customSearchView.getContext());
488 languageButton.setMinimumWidth(application.languageButtonPixels);
489 languageButton.setMinimumHeight(application.languageButtonPixels * 2 / 3);
490 languageButton.setScaleType(ScaleType.FIT_CENTER);
491 languageButton.setOnClickListener(new OnClickListener() {
493 public void onClick(View arg0) {
494 onLanguageButtonClick();
497 languageButton.setOnLongClickListener(new OnLongClickListener() {
499 public boolean onLongClick(View v) {
500 onLanguageButtonLongClick(v.getContext());
504 customSearchView.addView(languageButton);
506 searchView = new SearchView(getSupportActionBar().getThemedContext());
507 searchView.setIconifiedByDefault(false);
508 // searchView.setIconified(false); // puts the magnifying glass in the
510 searchView.setQueryHint(getString(R.string.searchText));
511 searchView.setSubmitButtonEnabled(false);
512 searchView.setImeOptions(
513 EditorInfo.IME_ACTION_SEARCH |
514 EditorInfo.IME_FLAG_NO_EXTRACT_UI |
515 EditorInfo.IME_FLAG_NO_ENTER_ACTION |
516 // EditorInfo.IME_FLAG_NO_FULLSCREEN | // Requires API
518 EditorInfo.IME_MASK_ACTION |
519 EditorInfo.TYPE_TEXT_FLAG_NO_SUGGESTIONS);
520 onQueryTextListener = new OnQueryTextListener() {
522 public boolean onQueryTextSubmit(String query) {
523 Log.d(LOG, "OnQueryTextListener: onQueryTextSubmit: " + searchView.getQuery());
528 public boolean onQueryTextChange(String newText) {
529 Log.d(LOG, "OnQueryTextListener: onQueryTextChange: " + searchView.getQuery());
530 onSearchTextChange(searchView.getQuery().toString());
534 searchView.setOnQueryTextListener(onQueryTextListener);
535 searchView.setFocusable(true);
536 LinearLayout.LayoutParams lp = new LinearLayout.LayoutParams(0,
537 FrameLayout.LayoutParams.WRAP_CONTENT, 1);
538 customSearchView.addView(searchView, lp);
540 actionBar.setCustomView(customSearchView);
541 actionBar.setDisplayShowCustomEnabled(true);
545 protected void onResume() {
546 Log.d(LOG, "onResume");
548 if (PreferenceActivity.prefsMightHaveChanged) {
549 PreferenceActivity.prefsMightHaveChanged = false;
551 startActivity(getIntent());
557 protected void onPause() {
563 * Invoked when MyWebView returns, since the user might have clicked some
564 * hypertext in the MyWebView.
566 protected void onActivityResult(int requestCode, int resultCode, Intent result) {
567 super.onActivityResult(requestCode, resultCode, result);
568 if (result != null && result.hasExtra(C.SEARCH_TOKEN)) {
569 Log.d(LOG, "onActivityResult: " + result.getStringExtra(C.SEARCH_TOKEN));
570 jumpToTextFromHyperLink(result.getStringExtra(C.SEARCH_TOKEN), indexIndex);
574 private static void setDictionaryPrefs(final Context context, final File dictFile,
575 final String indexShortName, final String searchToken) {
576 final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(
578 prefs.putString(C.DICT_FILE, dictFile.getPath());
579 prefs.putString(C.INDEX_SHORT_NAME, indexShortName);
580 prefs.putString(C.SEARCH_TOKEN, ""); // Don't need to save search token.
585 protected void onDestroy() {
587 if (dictRaf == null) {
591 final SearchOperation searchOperation = currentSearchOperation;
592 currentSearchOperation = null;
594 // Before we close the RAF, we have to wind the current search down.
595 if (searchOperation != null) {
596 Log.d(LOG, "Interrupting search to shut down.");
597 currentSearchOperation = null;
598 searchOperation.interrupted.set(true);
602 Log.d(LOG, "Closing RAF.");
604 } catch (IOException e) {
605 Log.e(LOG, "Failed to close dictionary", e);
610 // --------------------------------------------------------------------------
612 // --------------------------------------------------------------------------
614 private void showKeyboard() {
615 // For some reason, this doesn't always work the first time.
616 // One way to replicate the problem:
617 // Press the "task switch" button repeatedly to pause and resume
618 for (int delay = 1; delay <= 101; delay += 100) {
619 searchView.postDelayed(new Runnable() {
622 Log.d(LOG, "Trying to show soft keyboard.");
623 final boolean searchTextHadFocus = searchView.hasFocus();
624 searchView.requestFocusFromTouch();
625 final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);
626 manager.showSoftInput(searchView, InputMethodManager.SHOW_IMPLICIT);
627 if (!searchTextHadFocus) {
635 void updateLangButton() {
636 final LanguageResources languageResources =
637 DictionaryApplication.isoCodeToResources.get(index.shortName);
638 if (languageResources != null && languageResources.flagId != 0) {
639 languageButton.setImageResource(languageResources.flagId);
641 if (indexIndex % 2 == 0) {
642 languageButton.setImageResource(android.R.drawable.ic_media_next);
644 languageButton.setImageResource(android.R.drawable.ic_media_previous);
650 private void updateTTSLanguage() {
651 if (!ttsReady || index == null || textToSpeech == null) {
652 Log.d(LOG, "Can't updateTTSLanguage.");
655 final Locale locale = new Locale(index.sortLanguage.getIsoCode());
656 Log.d(LOG, "Setting TTS locale to: " + locale);
657 final int ttsResult = textToSpeech.setLanguage(locale);
658 if (ttsResult != TextToSpeech.LANG_AVAILABLE ||
659 ttsResult != TextToSpeech.LANG_COUNTRY_AVAILABLE) {
660 Log.e(LOG, "TTS not available in this language: ttsResult=" + ttsResult);
664 void onLanguageButtonClick() {
665 if (dictionary.indices.size() == 1) {
666 // No need to work to switch indices.
669 if (currentSearchOperation != null) {
670 currentSearchOperation.interrupted.set(true);
671 currentSearchOperation = null;
673 setIndexAndSearchText((indexIndex + 1) % dictionary.indices.size(),
674 searchView.getQuery().toString());
677 void onLanguageButtonLongClick(final Context context) {
678 final Dialog dialog = new Dialog(context);
679 dialog.setContentView(R.layout.select_dictionary_dialog);
680 dialog.setTitle(R.string.selectDictionary);
682 final List<DictionaryInfo> installedDicts = application.getDictionariesOnDevice(null);
684 ListView listView = (ListView) dialog.findViewById(android.R.id.list);
685 final Button button = new Button(listView.getContext());
686 final String name = getString(R.string.dictionaryManager);
687 button.setText(name);
688 final IntentLauncher intentLauncher = new IntentLauncher(listView.getContext(),
689 DictionaryManagerActivity.getLaunchIntent(getApplicationContext())) {
691 protected void onGo() {
693 DictionaryActivity.this.finish();
696 button.setOnClickListener(intentLauncher);
697 listView.addHeaderView(button);
699 listView.setAdapter(new BaseAdapter() {
701 public View getView(int position, View convertView, ViewGroup parent) {
702 final DictionaryInfo dictionaryInfo = getItem(position);
704 final LinearLayout result = new LinearLayout(parent.getContext());
706 for (int i = 0; i < dictionaryInfo.indexInfos.size(); ++i) {
707 final IndexInfo indexInfo = dictionaryInfo.indexInfos.get(i);
708 final View button = application.createButton(parent.getContext(),
709 dictionaryInfo, indexInfo);
710 final IntentLauncher intentLauncher = new IntentLauncher(parent.getContext(),
711 getLaunchIntent(getApplicationContext(),
712 application.getPath(dictionaryInfo.uncompressedFilename),
713 indexInfo.shortName, searchView.getQuery().toString())) {
715 protected void onGo() {
717 DictionaryActivity.this.finish();
720 button.setOnClickListener(intentLauncher);
721 result.addView(button);
724 final TextView nameView = new TextView(parent.getContext());
725 final String name = application
726 .getDictionaryName(dictionaryInfo.uncompressedFilename);
727 nameView.setText(name);
728 final LinearLayout.LayoutParams layoutParams = new LinearLayout.LayoutParams(
729 ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT);
730 layoutParams.width = 0;
731 layoutParams.weight = 1.0f;
732 nameView.setLayoutParams(layoutParams);
733 nameView.setGravity(Gravity.CENTER_VERTICAL);
734 result.addView(nameView);
739 public long getItemId(int position) {
744 public DictionaryInfo getItem(int position) {
745 return installedDicts.get(position);
749 public int getCount() {
750 return installedDicts.size();
756 void onUpDownButton(final boolean up) {
760 final int firstVisibleRow = getListView().getFirstVisiblePosition();
761 final RowBase row = index.rows.get(firstVisibleRow);
762 final TokenRow tokenRow = row.getTokenRow(true);
763 final int destIndexEntry;
765 if (row != tokenRow) {
766 destIndexEntry = tokenRow.referenceIndex;
768 destIndexEntry = Math.max(tokenRow.referenceIndex - 1, 0);
772 destIndexEntry = Math.min(tokenRow.referenceIndex + 1, index.sortedIndexEntries.size());
774 final Index.IndexEntry dest = index.sortedIndexEntries.get(destIndexEntry);
775 Log.d(LOG, "onUpDownButton, destIndexEntry=" + dest.token);
776 setSearchText(dest.token, false);
777 jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);
781 // --------------------------------------------------------------------------
783 // --------------------------------------------------------------------------
785 final Random random = new Random();
788 public boolean onCreateOptionsMenu(final Menu menu) {
790 if (PreferenceManager.getDefaultSharedPreferences(this)
791 .getBoolean(getString(R.string.showPrevNextButtonsKey), true)) {
793 nextWordMenuItem = menu.add(getString(R.string.nextWord))
794 .setIcon(R.drawable.arrow_down_float);
795 MenuItemCompat.setShowAsAction(nextWordMenuItem, MenuItem.SHOW_AS_ACTION_IF_ROOM);
796 nextWordMenuItem.setOnMenuItemClickListener(new OnMenuItemClickListener() {
798 public boolean onMenuItemClick(MenuItem item) {
799 onUpDownButton(false);
805 previousWordMenuItem = menu.add(getString(R.string.previousWord))
806 .setIcon(R.drawable.arrow_up_float);
807 MenuItemCompat.setShowAsAction(previousWordMenuItem, MenuItem.SHOW_AS_ACTION_IF_ROOM);
808 previousWordMenuItem.setOnMenuItemClickListener(new OnMenuItemClickListener() {
810 public boolean onMenuItemClick(MenuItem item) {
811 onUpDownButton(true);
817 application.onCreateGlobalOptionsMenu(this, menu);
820 final MenuItem dictionaryManager = menu.add(getString(R.string.dictionaryManager));
821 MenuItemCompat.setShowAsAction(dictionaryManager, MenuItem.SHOW_AS_ACTION_NEVER);
822 dictionaryManager.setOnMenuItemClickListener(new OnMenuItemClickListener() {
823 public boolean onMenuItemClick(final MenuItem menuItem) {
824 startActivity(DictionaryManagerActivity.getLaunchIntent(getApplicationContext()));
832 final MenuItem aboutDictionary = menu.add(getString(R.string.aboutDictionary));
833 MenuItemCompat.setShowAsAction(aboutDictionary, MenuItem.SHOW_AS_ACTION_NEVER);
834 aboutDictionary.setOnMenuItemClickListener(new OnMenuItemClickListener() {
835 public boolean onMenuItemClick(final MenuItem menuItem) {
836 final Context context = getListView().getContext();
837 final Dialog dialog = new Dialog(context);
838 dialog.setContentView(R.layout.about_dictionary_dialog);
839 final TextView textView = (TextView) dialog.findViewById(R.id.text);
841 final String name = application.getDictionaryName(dictFile.getName());
842 dialog.setTitle(name);
844 final StringBuilder builder = new StringBuilder();
845 final DictionaryInfo dictionaryInfo = dictionary.getDictionaryInfo();
846 dictionaryInfo.uncompressedBytes = dictFile.length();
847 if (dictionaryInfo != null) {
848 builder.append(dictionaryInfo.dictInfo).append("\n\n");
849 builder.append(getString(R.string.dictionaryPath, dictFile.getPath()))
852 getString(R.string.dictionarySize, dictionaryInfo.uncompressedBytes))
855 getString(R.string.dictionaryCreationTime,
856 dictionaryInfo.creationMillis)).append("\n");
857 for (final IndexInfo indexInfo : dictionaryInfo.indexInfos) {
858 builder.append("\n");
859 builder.append(getString(R.string.indexName, indexInfo.shortName))
862 getString(R.string.mainTokenCount, indexInfo.mainTokenCount))
865 builder.append("\n");
866 builder.append(getString(R.string.sources)).append("\n");
867 for (final EntrySource source : dictionary.sources) {
869 getString(R.string.sourceInfo, source.getName(),
870 source.getNumEntries())).append("\n");
873 textView.setText(builder.toString());
876 final WindowManager.LayoutParams layoutParams = new WindowManager.LayoutParams();
877 layoutParams.width = WindowManager.LayoutParams.MATCH_PARENT;
878 layoutParams.height = WindowManager.LayoutParams.MATCH_PARENT;
879 dialog.getWindow().setAttributes(layoutParams);
888 // --------------------------------------------------------------------------
889 // Context Menu + clicks
890 // --------------------------------------------------------------------------
893 public void onCreateContextMenu(ContextMenu menu, View v, ContextMenuInfo menuInfo) {
894 AdapterContextMenuInfo adapterContextMenuInfo = (AdapterContextMenuInfo) menuInfo;
895 final RowBase row = (RowBase) getListAdapter().getItem(adapterContextMenuInfo.position);
897 final android.view.MenuItem addToWordlist = menu.add(getString(R.string.addToWordList,
898 wordList.getName()));
900 .setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
901 public boolean onMenuItemClick(android.view.MenuItem item) {
902 onAppendToWordList(row);
907 final android.view.MenuItem share = menu.add("Share");
908 share.setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
909 public boolean onMenuItemClick(android.view.MenuItem item) {
910 Intent shareIntent = new Intent(android.content.Intent.ACTION_SEND);
911 shareIntent.setType("text/plain");
912 shareIntent.putExtra(android.content.Intent.EXTRA_SUBJECT, row.getTokenRow(true)
914 shareIntent.putExtra(android.content.Intent.EXTRA_TEXT,
915 row.getRawText(saveOnlyFirstSubentry));
916 startActivity(shareIntent);
921 final android.view.MenuItem copy = menu.add(android.R.string.copy);
922 copy.setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
923 public boolean onMenuItemClick(android.view.MenuItem item) {
929 if (selectedSpannableText != null) {
930 final String selectedText = selectedSpannableText;
931 final android.view.MenuItem searchForSelection = menu.add(getString(
932 R.string.searchForSelection,
933 selectedSpannableText));
935 .setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
936 public boolean onMenuItemClick(android.view.MenuItem item) {
937 jumpToTextFromHyperLink(selectedText, selectedSpannableIndex);
941 // Rats, this won't be shown:
942 //searchForSelection.setIcon(R.drawable.abs__ic_search);
945 if (row instanceof TokenRow && ttsReady) {
946 final android.view.MenuItem speak = menu.add(R.string.speak);
947 speak.setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
949 public boolean onMenuItemClick(android.view.MenuItem item) {
950 textToSpeech.speak(((TokenRow) row).getToken(), TextToSpeech.QUEUE_FLUSH,
951 new HashMap<String, String>());
958 private void jumpToTextFromHyperLink(
959 final String selectedText, final int defaultIndexToUse) {
961 for (int i = 0; i < dictionary.indices.size(); ++i) {
962 final Index index = dictionary.indices.get(i);
963 if (indexPrepFinished) {
964 System.out.println("Doing index lookup: on " + selectedText);
965 final IndexEntry indexEntry = index.findExact(selectedText);
966 if (indexEntry != null) {
967 final TokenRow tokenRow = index.rows.get(indexEntry.startRow)
969 if (tokenRow != null && tokenRow.hasMainEntry) {
975 Log.w(LOG, "Skipping findExact on index " + index.shortName);
978 if (indexToUse == -1) {
979 indexToUse = defaultIndexToUse;
981 // Without this extra delay, the call to jumpToRow that this
982 // invokes doesn't always actually have any effect.
983 final int actualIndexToUse = indexToUse;
984 getListView().postDelayed(new Runnable() {
987 setIndexAndSearchText(actualIndexToUse, selectedText);
993 * Called when user clicks outside of search text, so that they can start
994 * typing again immediately.
996 void defocusSearchText() {
997 // Log.d(LOG, "defocusSearchText");
998 // Request focus so that if we start typing again, it clears the text
1000 getListView().requestFocus();
1002 // Visual indication that a new keystroke will clear the search text.
1003 // Doesn't seem to work unless earchText has focus.
1004 // searchView.selectAll();
1007 protected void onListItemClick(ListView l, View v, int row, long id) {
1008 defocusSearchText();
1009 if (clickOpensContextMenu && dictRaf != null) {
1014 @SuppressLint("SimpleDateFormat")
1015 void onAppendToWordList(final RowBase row) {
1016 defocusSearchText();
1018 final StringBuilder rawText = new StringBuilder();
1019 rawText.append(new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date())).append("\t");
1020 rawText.append(index.longName).append("\t");
1021 rawText.append(row.getTokenRow(true).getToken()).append("\t");
1022 rawText.append(row.getRawText(saveOnlyFirstSubentry));
1023 Log.d(LOG, "Writing : " + rawText);
1026 wordList.getParentFile().mkdirs();
1027 final PrintWriter out = new PrintWriter(new FileWriter(wordList, true));
1028 out.println(rawText.toString());
1030 } catch (Exception e) {
1031 Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);
1032 Toast.makeText(this,
1033 getString(R.string.failedAddingToWordList, wordList.getAbsolutePath()),
1034 Toast.LENGTH_LONG).show();
1039 @SuppressWarnings("deprecation")
1040 void onCopy(final RowBase row) {
1041 defocusSearchText();
1043 Log.d(LOG, "Copy, row=" + row);
1044 final StringBuilder result = new StringBuilder();
1045 result.append(row.getRawText(false));
1046 final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);
1047 clipboardManager.setText(result.toString());
1048 Log.d(LOG, "Copied: " + result);
1052 public boolean onKeyDown(final int keyCode, final KeyEvent event) {
1053 if (event.getUnicodeChar() != 0) {
1054 if (!searchView.hasFocus()) {
1055 setSearchText("" + (char) event.getUnicodeChar(), true);
1056 searchView.requestFocus();
1060 if (keyCode == KeyEvent.KEYCODE_BACK) {
1061 // Log.d(LOG, "Clearing dictionary prefs.");
1062 // Pretend that we just autolaunched so that we won't do it again.
1063 // DictionaryManagerActivity.lastAutoLaunchMillis =
1064 // System.currentTimeMillis();
1066 if (keyCode == KeyEvent.KEYCODE_ENTER) {
1067 Log.d(LOG, "Trying to hide soft keyboard.");
1068 final InputMethodManager inputManager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);
1069 inputManager.hideSoftInputFromWindow(this.getCurrentFocus().getWindowToken(),
1070 InputMethodManager.HIDE_NOT_ALWAYS);
1073 return super.onKeyDown(keyCode, event);
1076 private void setIndexAndSearchText(int newIndex, String newSearchText) {
1077 Log.d(LOG, "Changing index to: " + newIndex);
1078 if (newIndex == -1) {
1079 Log.e(LOG, "Invalid index.");
1082 if (newIndex != indexIndex) {
1083 indexIndex = newIndex;
1084 index = dictionary.indices.get(indexIndex);
1085 indexAdapter = new IndexAdapter(index);
1086 setListAdapter(indexAdapter);
1087 Log.d(LOG, "changingIndex, newLang=" + index.longName);
1088 setDictionaryPrefs(this, dictFile, index.shortName, searchView.getQuery().toString());
1091 setSearchText(newSearchText, true);
1094 private void setSearchText(final String text, final boolean triggerSearch) {
1095 Log.d(LOG, "setSearchText, text=" + text + ", triggerSearch=" + triggerSearch);
1096 // Disable the listener, because sometimes it doesn't work.
1097 searchView.setOnQueryTextListener(null);
1098 searchView.setQuery(text, false);
1099 moveCursorToRight();
1100 searchView.setOnQueryTextListener(onQueryTextListener);
1102 // Hide search icon once text is entered
1103 searchView.setIconifiedByDefault(text.length() > 0);
1104 searchView.setIconified(false);
1106 if (triggerSearch) {
1107 onQueryTextListener.onQueryTextChange(text);
1111 // private long cursorDelayMillis = 100;
1112 private void moveCursorToRight() {
1113 // if (searchText.getLayout() != null) {
1114 // cursorDelayMillis = 100;
1115 // // Surprising, but this can crash when you rotate...
1116 // Selection.moveToRightEdge(searchView.getQuery(),
1117 // searchText.getLayout());
1119 // uiHandler.postDelayed(new Runnable() {
1121 // public void run() {
1122 // moveCursorToRight();
1124 // }, cursorDelayMillis);
1125 // cursorDelayMillis = Math.min(10 * 1000, 2 * cursorDelayMillis);
1129 // --------------------------------------------------------------------------
1131 // --------------------------------------------------------------------------
1133 private void searchFinished(final SearchOperation searchOperation) {
1134 if (searchOperation.interrupted.get()) {
1135 Log.d(LOG, "Search operation was interrupted: " + searchOperation);
1138 if (searchOperation != this.currentSearchOperation) {
1139 Log.d(LOG, "Stale searchOperation finished: " + searchOperation);
1143 final Index.IndexEntry searchResult = searchOperation.searchResult;
1144 Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);
1146 currentSearchOperation = null;
1147 uiHandler.postDelayed(new Runnable() {
1150 if (currentSearchOperation == null) {
1151 if (searchResult != null) {
1155 jumpToRow(searchResult.startRow);
1156 } else if (searchOperation.multiWordSearchResult != null) {
1157 // Multi-row search....
1158 setFiltered(searchOperation);
1160 throw new IllegalStateException("This should never happen.");
1163 Log.d(LOG, "More coming, waiting for currentSearchOperation.");
1169 private final void jumpToRow(final int row) {
1170 Log.d(LOG, "jumpToRow: " + row + ", refocusSearchText=" + false);
1171 // getListView().requestFocusFromTouch();
1172 getListView().setSelectionFromTop(row, 0);
1173 getListView().setSelected(true);
1176 static final Pattern WHITESPACE = Pattern.compile("\\s+");
1178 final class SearchOperation implements Runnable {
1180 final AtomicBoolean interrupted = new AtomicBoolean(false);
1182 final String searchText;
1184 List<String> searchTokens; // filled in for multiWord.
1188 long searchStartMillis;
1190 Index.IndexEntry searchResult;
1192 List<RowBase> multiWordSearchResult;
1194 boolean done = false;
1196 SearchOperation(final String searchText, final Index index) {
1197 this.searchText = StringUtil.normalizeWhitespace(searchText);
1201 public String toString() {
1202 return String.format("SearchOperation(%s,%s)", searchText, interrupted.toString());
1208 searchStartMillis = System.currentTimeMillis();
1209 final String[] searchTokenArray = WHITESPACE.split(searchText);
1210 if (searchTokenArray.length == 1) {
1211 searchResult = index.findInsertionPoint(searchText, interrupted);
1213 searchTokens = Arrays.asList(searchTokenArray);
1214 multiWordSearchResult = index.multiWordSearch(searchText, searchTokens,
1218 "searchText=" + searchText + ", searchDuration="
1219 + (System.currentTimeMillis() - searchStartMillis)
1220 + ", interrupted=" + interrupted.get());
1221 if (!interrupted.get()) {
1222 uiHandler.post(new Runnable() {
1225 searchFinished(SearchOperation.this);
1229 Log.d(LOG, "interrupted, skipping searchFinished.");
1231 } catch (Exception e) {
1232 Log.e(LOG, "Failure during search (can happen during Activity close.");
1234 synchronized (this) {
1242 // --------------------------------------------------------------------------
1244 // --------------------------------------------------------------------------
1246 static ViewGroup.LayoutParams WEIGHT_1 = new LinearLayout.LayoutParams(
1247 ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.MATCH_PARENT, 1.0f);
1249 static ViewGroup.LayoutParams WEIGHT_0 = new LinearLayout.LayoutParams(
1250 ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.MATCH_PARENT, 0.0f);
1252 final class IndexAdapter extends BaseAdapter {
1254 private static final float PADDING_DEFAULT_DP = 8;
1256 private static final float PADDING_LARGE_DP = 16;
1260 final List<RowBase> rows;
1262 final Set<String> toHighlight;
1264 private int mPaddingDefault;
1266 private int mPaddingLarge;
1268 IndexAdapter(final Index index) {
1271 this.toHighlight = null;
1275 IndexAdapter(final Index index, final List<RowBase> rows, final List<String> toHighlight) {
1278 this.toHighlight = new LinkedHashSet<String>(toHighlight);
1282 private void getMetrics() {
1283 // Get the screen's density scale
1284 final float scale = getResources().getDisplayMetrics().density;
1285 // Convert the dps to pixels, based on density scale
1286 mPaddingDefault = (int) (PADDING_DEFAULT_DP * scale + 0.5f);
1287 mPaddingLarge = (int) (PADDING_LARGE_DP * scale + 0.5f);
1291 public int getCount() {
1296 public RowBase getItem(int position) {
1297 return rows.get(position);
1301 public long getItemId(int position) {
1302 return getItem(position).index();
1306 public TableLayout getView(int position, View convertView, ViewGroup parent) {
1307 final TableLayout result;
1308 if (convertView instanceof TableLayout) {
1309 result = (TableLayout) convertView;
1310 result.removeAllViews();
1312 result = new TableLayout(parent.getContext());
1314 final RowBase row = getItem(position);
1315 if (row instanceof PairEntry.Row) {
1316 return getView(position, (PairEntry.Row) row, parent, result);
1317 } else if (row instanceof TokenRow) {
1318 return getView((TokenRow) row, parent, result);
1319 } else if (row instanceof HtmlEntry.Row) {
1320 return getView((HtmlEntry.Row) row, parent, result);
1322 throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());
1326 private TableLayout getView(final int position, PairEntry.Row row, ViewGroup parent,
1327 final TableLayout result) {
1328 final PairEntry entry = row.getEntry();
1329 final int rowCount = entry.pairs.size();
1331 final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();
1332 layoutParams.weight = 0.5f;
1333 layoutParams.leftMargin = mPaddingLarge;
1335 for (int r = 0; r < rowCount; ++r) {
1336 final TableRow tableRow = new TableRow(result.getContext());
1338 final TextView col1 = new TextView(tableRow.getContext());
1339 final TextView col2 = new TextView(tableRow.getContext());
1341 // Set the columns in the table.
1343 final TextView bullet = new TextView(tableRow.getContext());
1344 bullet.setText(" • ");
1345 tableRow.addView(bullet);
1347 tableRow.addView(col1, layoutParams);
1348 final TextView margin = new TextView(tableRow.getContext());
1349 margin.setText(" ");
1350 tableRow.addView(margin);
1352 final TextView bullet = new TextView(tableRow.getContext());
1353 bullet.setText(" • ");
1354 tableRow.addView(bullet);
1356 tableRow.addView(col2, layoutParams);
1360 // Set what's in the columns.
1362 final Pair pair = entry.pairs.get(r);
1363 final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;
1364 final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;
1366 col1.setText(col1Text, TextView.BufferType.SPANNABLE);
1367 col2.setText(col2Text, TextView.BufferType.SPANNABLE);
1369 // Bold the token instances in col1.
1370 final Set<String> toBold = toHighlight != null ? this.toHighlight : Collections
1371 .singleton(row.getTokenRow(true).getToken());
1372 final Spannable col1Spannable = (Spannable) col1.getText();
1373 for (final String token : toBold) {
1375 while ((startPos = col1Text.indexOf(token, startPos)) != -1) {
1376 col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos, startPos
1377 + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);
1378 startPos += token.length();
1382 createTokenLinkSpans(col1, col1Spannable, col1Text);
1383 createTokenLinkSpans(col2, (Spannable) col2.getText(), col2Text);
1385 col1.setTypeface(typeface);
1386 col2.setTypeface(typeface);
1387 col1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);
1388 col2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);
1389 // col2.setBackgroundResource(theme.otherLangBg);
1391 if (index.swapPairEntries) {
1392 col2.setOnLongClickListener(textViewLongClickListenerIndex0);
1393 col1.setOnLongClickListener(textViewLongClickListenerIndex1);
1395 col1.setOnLongClickListener(textViewLongClickListenerIndex0);
1396 col2.setOnLongClickListener(textViewLongClickListenerIndex1);
1399 result.addView(tableRow);
1402 // Because we have a Button inside a ListView row:
1403 // http://groups.google.com/group/android-developers/browse_thread/thread/3d96af1530a7d62a?pli=1
1404 result.setDescendantFocusability(ViewGroup.FOCUS_BLOCK_DESCENDANTS);
1405 result.setClickable(true);
1406 result.setFocusable(true);
1407 result.setLongClickable(true);
1408 // result.setBackgroundResource(android.R.drawable.menuitem_background);
1410 result.setBackgroundResource(theme.normalRowBg);
1412 result.setOnClickListener(new TextView.OnClickListener() {
1414 public void onClick(View v) {
1415 DictionaryActivity.this.onListItemClick(getListView(), v, position, position);
1422 private TableLayout getPossibleLinkToHtmlEntryView(final boolean isTokenRow,
1423 final String text, final boolean hasMainEntry, final List<HtmlEntry> htmlEntries,
1424 final String htmlTextToHighlight, ViewGroup parent, final TableLayout result) {
1425 final Context context = parent.getContext();
1427 final TableRow tableRow = new TableRow(result.getContext());
1428 tableRow.setBackgroundResource(hasMainEntry ? theme.tokenRowMainBg
1429 : theme.tokenRowOtherBg);
1431 tableRow.setPadding(mPaddingDefault, mPaddingDefault, mPaddingDefault, 0);
1433 tableRow.setPadding(mPaddingLarge, mPaddingDefault, mPaddingDefault, 0);
1435 result.addView(tableRow);
1437 // Make it so we can long-click on these token rows, too:
1438 final TextView textView = new TextView(context);
1439 textView.setText(text, BufferType.SPANNABLE);
1440 createTokenLinkSpans(textView, (Spannable) textView.getText(), text);
1441 final TextViewLongClickListener textViewLongClickListenerIndex0 = new TextViewLongClickListener(
1443 textView.setOnLongClickListener(textViewLongClickListenerIndex0);
1444 result.setLongClickable(true);
1447 // textView.setTextColor(android.R.color.secondary_text_light);
1448 textView.setTypeface(typeface);
1449 TableRow.LayoutParams lp = new TableRow.LayoutParams(0);
1451 textView.setTextAppearance(context, theme.tokenRowFg);
1452 textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, 4 * fontSizeSp / 3);
1454 textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);
1458 textView.setLayoutParams(lp);
1459 tableRow.addView(textView);
1461 if (!htmlEntries.isEmpty()) {
1462 final ClickableSpan clickableSpan = new ClickableSpan() {
1464 public void onClick(View widget) {
1467 ((Spannable) textView.getText()).setSpan(clickableSpan, 0, text.length(),
1468 Spannable.SPAN_INCLUSIVE_INCLUSIVE);
1469 result.setClickable(true);
1470 textView.setClickable(true);
1471 textView.setMovementMethod(LinkMovementMethod.getInstance());
1472 textView.setOnClickListener(new OnClickListener() {
1474 public void onClick(View v) {
1475 String html = HtmlEntry.htmlBody(htmlEntries, index.shortName);
1476 // Log.d(LOG, "html=" + html);
1477 startActivityForResult(
1478 HtmlDisplayActivity.getHtmlIntent(getApplicationContext(), String.format(
1479 "<html><head></head><body>%s</body></html>", html),
1480 htmlTextToHighlight, false),
1488 private TableLayout getView(TokenRow row, ViewGroup parent, final TableLayout result) {
1489 final IndexEntry indexEntry = row.getIndexEntry();
1490 return getPossibleLinkToHtmlEntryView(true, indexEntry.token, row.hasMainEntry,
1491 indexEntry.htmlEntries, null, parent, result);
1494 private TableLayout getView(HtmlEntry.Row row, ViewGroup parent, final TableLayout result) {
1495 final HtmlEntry htmlEntry = row.getEntry();
1496 final TokenRow tokenRow = row.getTokenRow(true);
1497 return getPossibleLinkToHtmlEntryView(false,
1498 getString(R.string.seeAlso, htmlEntry.title, htmlEntry.entrySource.getName()),
1499 false, Collections.singletonList(htmlEntry), tokenRow.getToken(), parent,
1505 static final Pattern CHAR_DASH = Pattern.compile("['\\p{L}\\p{M}\\p{N}]+");
1507 private void createTokenLinkSpans(final TextView textView, final Spannable spannable,
1508 final String text) {
1509 // Saw from the source code that LinkMovementMethod sets the selection!
1510 // http://grepcode.com/file/repository.grepcode.com/java/ext/com.google.android/android/2.3.1_r1/android/text/method/LinkMovementMethod.java#LinkMovementMethod
1511 textView.setMovementMethod(LinkMovementMethod.getInstance());
1512 final Matcher matcher = CHAR_DASH.matcher(text);
1513 while (matcher.find()) {
1514 spannable.setSpan(new NonLinkClickableSpan(textColorFg), matcher.start(),
1516 Spannable.SPAN_INCLUSIVE_EXCLUSIVE);
1520 String selectedSpannableText = null;
1522 int selectedSpannableIndex = -1;
1525 public boolean onTouchEvent(MotionEvent event) {
1526 selectedSpannableText = null;
1527 selectedSpannableIndex = -1;
1528 return super.onTouchEvent(event);
1531 private class TextViewLongClickListener implements OnLongClickListener {
1534 private TextViewLongClickListener(final int index) {
1539 public boolean onLongClick(final View v) {
1540 final TextView textView = (TextView) v;
1541 final int start = textView.getSelectionStart();
1542 final int end = textView.getSelectionEnd();
1543 if (start >= 0 && end >= 0) {
1544 selectedSpannableText = textView.getText().subSequence(start, end).toString();
1545 selectedSpannableIndex = index;
1551 final TextViewLongClickListener textViewLongClickListenerIndex0 = new TextViewLongClickListener(
1554 final TextViewLongClickListener textViewLongClickListenerIndex1 = new TextViewLongClickListener(
1557 // --------------------------------------------------------------------------
1559 // --------------------------------------------------------------------------
1561 void onSearchTextChange(final String text) {
1562 if ("thadolina".equals(text)) {
1563 final Dialog dialog = new Dialog(getListView().getContext());
1564 dialog.setContentView(R.layout.thadolina_dialog);
1565 dialog.setTitle("Ti amo, amore mio!");
1566 final ImageView imageView = (ImageView) dialog.findViewById(R.id.thadolina_image);
1567 imageView.setOnClickListener(new OnClickListener() {
1569 public void onClick(View v) {
1570 final Intent intent = new Intent(Intent.ACTION_VIEW);
1571 intent.setData(Uri.parse("https://sites.google.com/site/cfoxroxvday/vday2012"));
1572 startActivity(intent);
1577 if (dictRaf == null) {
1578 Log.d(LOG, "searchText changed during shutdown, doing nothing.");
1582 // Hide search icon once text is entered
1583 searchView.setIconifiedByDefault(text.length() > 0);
1584 searchView.setIconified(false);
1586 // if (!searchView.hasFocus()) {
1587 // Log.d(LOG, "searchText changed without focus, doing nothing.");
1590 Log.d(LOG, "onSearchTextChange: " + text);
1591 if (currentSearchOperation != null) {
1592 Log.d(LOG, "Interrupting currentSearchOperation.");
1593 currentSearchOperation.interrupted.set(true);
1595 currentSearchOperation = new SearchOperation(text, index);
1596 searchExecutor.execute(currentSearchOperation);
1599 // --------------------------------------------------------------------------
1600 // Filtered results.
1601 // --------------------------------------------------------------------------
1603 boolean isFiltered() {
1604 return rowsToShow != null;
1607 void setFiltered(final SearchOperation searchOperation) {
1608 if (nextWordMenuItem != null) {
1609 nextWordMenuItem.setEnabled(false);
1610 previousWordMenuItem.setEnabled(false);
1612 rowsToShow = searchOperation.multiWordSearchResult;
1613 setListAdapter(new IndexAdapter(index, rowsToShow, searchOperation.searchTokens));
1616 void clearFiltered() {
1617 if (nextWordMenuItem != null) {
1618 nextWordMenuItem.setEnabled(true);
1619 previousWordMenuItem.setEnabled(true);
1621 setListAdapter(new IndexAdapter(index));