+ private final void jumpToRow(final int row) {
+ Log.d(LOG, "jumpToRow: " + row + ", refocusSearchText=" + false);
+ // getListView().requestFocusFromTouch();
+ getListView().setSelectionFromTop(row, 0);
+ getListView().setSelected(true);
+ }
+
+ private static final Pattern WHITESPACE = Pattern.compile("\\s+");
+
+ final class SearchOperation implements Runnable {
+
+ final AtomicBoolean interrupted = new AtomicBoolean(false);
+
+ final String searchText;
+
+ List<String> searchTokens; // filled in for multiWord.
+
+ final Index index;
+
+ long searchStartMillis;
+
+ Index.IndexEntry searchResult;
+
+ List<RowBase> multiWordSearchResult;
+
+ boolean done = false;
+
+ SearchOperation(final String searchText, final Index index) {
+ this.searchText = StringUtil.normalizeWhitespace(searchText);
+ this.index = index;
+ }
+
+ public String toString() {
+ return String.format("SearchOperation(%s,%s)", searchText, interrupted.toString());
+ }
+
+ @Override
+ public void run() {
+ try {
+ searchStartMillis = System.currentTimeMillis();
+ final String[] searchTokenArray = WHITESPACE.split(searchText);
+ if (searchTokenArray.length == 1) {
+ searchResult = index.findInsertionPoint(searchText, interrupted);
+ } else {
+ searchTokens = Arrays.asList(searchTokenArray);
+ multiWordSearchResult = index.multiWordSearch(searchText, searchTokens,
+ interrupted);
+ }
+ Log.d(LOG,
+ "searchText=" + searchText + ", searchDuration="
+ + (System.currentTimeMillis() - searchStartMillis)
+ + ", interrupted=" + interrupted.get());
+ if (!interrupted.get()) {
+ uiHandler.post(new Runnable() {
+ @Override
+ public void run() {
+ searchFinished(SearchOperation.this);
+ }
+ });
+ } else {
+ Log.d(LOG, "interrupted, skipping searchFinished.");
+ }
+ } catch (Exception e) {
+ Log.e(LOG, "Failure during search (can happen during Activity close.");
+ } finally {
+ synchronized (this) {
+ done = true;
+ this.notifyAll();
+ }
+ }
+ }
+ }
+
+ // --------------------------------------------------------------------------
+ // IndexAdapter
+ // --------------------------------------------------------------------------
+
+ private void showHtml(final List<HtmlEntry> htmlEntries, final String htmlTextToHighlight) {
+ String html = HtmlEntry.htmlBody(htmlEntries, index.shortName);
+ // Log.d(LOG, "html=" + html);
+ startActivityForResult(
+ HtmlDisplayActivity.getHtmlIntent(getApplicationContext(), String.format(
+ "<html><head><meta name=\"viewport\" content=\"width=device-width\"></head><body>%s</body></html>", html),
+ htmlTextToHighlight, false),
+ 0);
+ }
+
+ final class IndexAdapter extends BaseAdapter {
+
+ private static final float PADDING_DEFAULT_DP = 8;
+
+ private static final float PADDING_LARGE_DP = 16;
+
+ final Index index;
+
+ final List<RowBase> rows;
+
+ final Set<String> toHighlight;
+
+ private int mPaddingDefault;
+
+ private int mPaddingLarge;
+
+ IndexAdapter(final Index index) {
+ this.index = index;
+ rows = index.rows;
+ this.toHighlight = null;
+ getMetrics();
+ }
+
+ IndexAdapter(final Index index, final List<RowBase> rows, final List<String> toHighlight) {
+ this.index = index;
+ this.rows = rows;
+ this.toHighlight = new LinkedHashSet<>(toHighlight);
+ getMetrics();
+ }
+
+ private void getMetrics() {
+ float scale = 1;
+ // Get the screen's density scale
+ // The previous method getResources().getDisplayMetrics()
+ // used to occasionally trigger a null pointer exception,
+ // so try this instead.
+ // As it still crashes, add a fallback
+ try {
+ DisplayMetrics dm = new DisplayMetrics();
+ getWindowManager().getDefaultDisplay().getMetrics(dm);
+ scale = dm.density;
+ } catch (NullPointerException e)
+ {}
+ // Convert the dps to pixels, based on density scale
+ mPaddingDefault = (int) (PADDING_DEFAULT_DP * scale + 0.5f);
+ mPaddingLarge = (int) (PADDING_LARGE_DP * scale + 0.5f);
+ }
+
+ @Override
+ public int getCount() {
+ return rows.size();
+ }
+
+ @Override
+ public RowBase getItem(int position) {
+ return rows.get(position);
+ }
+
+ @Override
+ public long getItemId(int position) {
+ return getItem(position).index();
+ }
+
+ @Override
+ public int getViewTypeCount() {
+ return 5;
+ }
+
+ @Override
+ public int getItemViewType(int position) {
+ final RowBase row = getItem(position);
+ if (row instanceof PairEntry.Row) {
+ final PairEntry entry = ((PairEntry.Row)row).getEntry();
+ final int rowCount = entry.pairs.size();
+ return rowCount > 1 ? 1 : 0;
+ } else if (row instanceof TokenRow) {
+ final IndexEntry indexEntry = ((TokenRow)row).getIndexEntry();
+ return indexEntry.htmlEntries.isEmpty() ? 2 : 3;
+ } else if (row instanceof HtmlEntry.Row) {
+ return 4;
+ } else {
+ throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());
+ }
+ }
+
+ @Override
+ public View getView(int position, View convertView, ViewGroup parent) {
+ final RowBase row = getItem(position);
+ if (row instanceof PairEntry.Row) {
+ return getView(position, (PairEntry.Row) row, parent, (TableLayout)convertView);
+ } else if (row instanceof TokenRow) {
+ return getView((TokenRow) row, parent, (TextView)convertView);
+ } else if (row instanceof HtmlEntry.Row) {
+ return getView((HtmlEntry.Row) row, parent, (TextView)convertView);
+ } else {
+ throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());
+ }
+ }
+
+ private void addBoldSpans(String token, String col1Text, Spannable col1Spannable) {
+ int startPos = 0;
+ while ((startPos = col1Text.indexOf(token, startPos)) != -1) {
+ col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos, startPos
+ + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);
+ startPos += token.length();
+ }
+ }
+
+ private TableLayout getView(final int position, PairEntry.Row row, ViewGroup parent,
+ TableLayout result) {
+ final Context context = parent.getContext();
+ final PairEntry entry = row.getEntry();
+ final int rowCount = entry.pairs.size();
+ if (result == null) {
+ result = new TableLayout(context);
+ result.setStretchAllColumns(true);
+ // Because we have a Button inside a ListView row:
+ // http://groups.google.com/group/android-developers/browse_thread/thread/3d96af1530a7d62a?pli=1
+ result.setDescendantFocusability(ViewGroup.FOCUS_BLOCK_DESCENDANTS);
+ result.setClickable(true);
+ result.setFocusable(false);
+ result.setLongClickable(true);
+// result.setBackgroundResource(android.R.drawable.menuitem_background);
+
+ result.setBackgroundResource(theme.normalRowBg);
+ } else if (result.getChildCount() > rowCount) {
+ result.removeViews(rowCount, result.getChildCount() - rowCount);
+ }
+
+ for (int r = result.getChildCount(); r < rowCount; ++r) {
+ final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams(0, LinearLayout.LayoutParams.WRAP_CONTENT);
+ layoutParams.leftMargin = mPaddingLarge;
+
+ final TableRow tableRow = new TableRow(result.getContext());
+
+ final TextView col1 = new TextView(tableRow.getContext());
+ final TextView col2 = new TextView(tableRow.getContext());
+ if (android.os.Build.VERSION.SDK_INT >= android.os.Build.VERSION_CODES.HONEYCOMB) {
+ col1.setTextIsSelectable(true);
+ col2.setTextIsSelectable(true);
+ }
+ col1.setTextColor(textColorFg);
+ col2.setTextColor(textColorFg);
+
+ // Set the columns in the table.
+ if (r > 0) {
+ final TextView bullet = new TextView(tableRow.getContext());
+ bullet.setText(" •");
+ tableRow.addView(bullet);
+ }
+ tableRow.addView(col1, layoutParams);
+ if (r > 0) {
+ final TextView bullet = new TextView(tableRow.getContext());
+ bullet.setText(" •");
+ tableRow.addView(bullet);
+ }
+ tableRow.addView(col2, layoutParams);
+ col1.setWidth(1);
+ col2.setWidth(1);
+
+ col1.setTypeface(typeface);
+ col2.setTypeface(typeface);
+ col1.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);
+ col2.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);
+ // col2.setBackgroundResource(theme.otherLangBg);
+
+ if (index.swapPairEntries) {
+ col2.setOnLongClickListener(textViewLongClickListenerIndex0);
+ col1.setOnLongClickListener(textViewLongClickListenerIndex1);
+ } else {
+ col1.setOnLongClickListener(textViewLongClickListenerIndex0);
+ col2.setOnLongClickListener(textViewLongClickListenerIndex1);
+ }
+
+ result.addView(tableRow);
+ }
+
+ for (int r = 0; r < rowCount; ++r) {
+ final TableRow tableRow = (TableRow)result.getChildAt(r);
+ final TextView col1 = (TextView)tableRow.getChildAt(r == 0 ? 0 : 1);
+ final TextView col2 = (TextView)tableRow.getChildAt(r == 0 ? 1 : 3);
+
+ // Set what's in the columns.
+ final Pair pair = entry.pairs.get(r);
+ final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;
+ final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;
+ final Spannable col1Spannable = new SpannableString(col1Text);
+ final Spannable col2Spannable = new SpannableString(col2Text);
+
+ // Bold the token instances in col1.
+ if (toHighlight != null) {
+ for (final String token : toHighlight) {
+ addBoldSpans(token, col1Text, col1Spannable);
+ }
+ } else
+ addBoldSpans(row.getTokenRow(true).getToken(), col1Text, col1Spannable);
+
+ createTokenLinkSpans(col1, col1Spannable, col1Text);
+ createTokenLinkSpans(col2, col2Spannable, col2Text);
+
+ col1.setText(col1Spannable);
+ col2.setText(col2Spannable);
+ }
+
+ result.setOnClickListener(new TextView.OnClickListener() {
+ @Override
+ public void onClick(View v) {
+ DictionaryActivity.this.onListItemClick(getListView(), v, position, position);
+ }
+ });
+
+ return result;
+ }
+
+ private TextView getPossibleLinkToHtmlEntryView(final boolean isTokenRow,
+ final String text, final boolean hasMainEntry, final List<HtmlEntry> htmlEntries,
+ final String htmlTextToHighlight, ViewGroup parent, TextView textView) {
+ final Context context = parent.getContext();
+ if (textView == null) {
+ textView = new TextView(context);
+ // set up things invariant across one ItemViewType
+ // ItemViewTypes handled here are:
+ // 2: isTokenRow == true, htmlEntries.isEmpty() == true
+ // 3: isTokenRow == true, htmlEntries.isEmpty() == false
+ // 4: isTokenRow == false, htmlEntries.isEmpty() == false
+ textView.setPadding(isTokenRow ? mPaddingDefault : mPaddingLarge, mPaddingDefault, mPaddingDefault, 0);
+ textView.setOnLongClickListener(indexIndex > 0 ? textViewLongClickListenerIndex1 : textViewLongClickListenerIndex0);
+ textView.setLongClickable(true);
+
+ textView.setTypeface(typeface);
+ if (isTokenRow) {
+ textView.setTextAppearance(context, theme.tokenRowFg);
+ textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, 4 * fontSizeSp / 3);
+ } else {
+ textView.setTextSize(TypedValue.COMPLEX_UNIT_SP, fontSizeSp);
+ }
+ textView.setTextColor(textColorFg);
+ if (!htmlEntries.isEmpty()) {
+ textView.setClickable(true);
+ textView.setMovementMethod(LinkMovementMethod.getInstance());
+ }
+ }
+
+ textView.setBackgroundResource(hasMainEntry ? theme.tokenRowMainBg
+ : theme.tokenRowOtherBg);
+
+ // Make it so we can long-click on these token rows, too:
+ final Spannable textSpannable = new SpannableString(text);
+ createTokenLinkSpans(textView, textSpannable, text);
+
+ if (!htmlEntries.isEmpty()) {
+ final ClickableSpan clickableSpan = new ClickableSpan() {
+ @Override
+ public void onClick(View widget) {
+ }
+ };
+ textSpannable.setSpan(clickableSpan, 0, text.length(),
+ Spannable.SPAN_INCLUSIVE_INCLUSIVE);
+ textView.setOnClickListener(new OnClickListener() {
+ @Override
+ public void onClick(View v) {
+ showHtml(htmlEntries, htmlTextToHighlight);
+ }
+ });
+ }
+ textView.setText(textSpannable);
+ return textView;
+ }
+
+ private TextView getView(TokenRow row, ViewGroup parent, final TextView result) {
+ final IndexEntry indexEntry = row.getIndexEntry();
+ return getPossibleLinkToHtmlEntryView(true, indexEntry.token, row.hasMainEntry,
+ indexEntry.htmlEntries, null, parent, result);
+ }
+
+ private TextView getView(HtmlEntry.Row row, ViewGroup parent, final TextView result) {
+ final HtmlEntry htmlEntry = row.getEntry();
+ final TokenRow tokenRow = row.getTokenRow(true);
+ return getPossibleLinkToHtmlEntryView(false,
+ getString(R.string.seeAlso, htmlEntry.title, htmlEntry.entrySource.getName()),
+ false, Collections.singletonList(htmlEntry), tokenRow.getToken(), parent,
+ result);
+ }
+
+ }
+
+ private static final Pattern CHAR_DASH = Pattern.compile("['\\p{L}\\p{M}\\p{N}]+");
+
+ private void createTokenLinkSpans(final TextView textView, final Spannable spannable,
+ final String text) {
+ // Saw from the source code that LinkMovementMethod sets the selection!
+ // http://grepcode.com/file/repository.grepcode.com/java/ext/com.google.android/android/2.3.1_r1/android/text/method/LinkMovementMethod.java#LinkMovementMethod
+ textView.setMovementMethod(LinkMovementMethod.getInstance());
+ final Matcher matcher = CHAR_DASH.matcher(text);
+ while (matcher.find()) {
+ spannable.setSpan(new NonLinkClickableSpan(), matcher.start(),
+ matcher.end(),
+ Spannable.SPAN_INCLUSIVE_EXCLUSIVE);
+ }
+ }
+
+ private String selectedSpannableText = null;
+
+ private int selectedSpannableIndex = -1;
+
+ @Override
+ public boolean onTouchEvent(MotionEvent event) {
+ selectedSpannableText = null;
+ selectedSpannableIndex = -1;
+ return super.onTouchEvent(event);
+ }
+
+ private class TextViewLongClickListener implements OnLongClickListener {
+ final int index;
+
+ private TextViewLongClickListener(final int index) {
+ this.index = index;
+ }
+
+ @Override
+ public boolean onLongClick(final View v) {
+ final TextView textView = (TextView) v;
+ final int start = textView.getSelectionStart();
+ final int end = textView.getSelectionEnd();
+ if (start >= 0 && end >= 0) {
+ selectedSpannableText = textView.getText().subSequence(start, end).toString();
+ selectedSpannableIndex = index;
+ }
+ return false;
+ }
+ }
+
+ private final TextViewLongClickListener textViewLongClickListenerIndex0 = new TextViewLongClickListener(
+ 0);
+
+ private final TextViewLongClickListener textViewLongClickListenerIndex1 = new TextViewLongClickListener(
+ 1);
+
+ // --------------------------------------------------------------------------
+ // SearchText
+ // --------------------------------------------------------------------------
+
+ private void onSearchTextChange(final String text) {
+ if ("thadolina".equals(text)) {
+ final Dialog dialog = new Dialog(getListView().getContext());
+ dialog.setContentView(R.layout.thadolina_dialog);
+ dialog.setTitle("Ti amo, amore mio!");
+ final ImageView imageView = dialog.findViewById(R.id.thadolina_image);
+ imageView.setOnClickListener(new OnClickListener() {
+ @Override
+ public void onClick(View v) {
+ final Intent intent = new Intent(Intent.ACTION_VIEW);
+ intent.setData(Uri.parse("https://sites.google.com/site/cfoxroxvday/vday2012"));
+ startActivity(intent);
+ }
+ });
+ dialog.show();
+ }
+ if (dictRaf == null) {
+ Log.d(LOG, "searchText changed during shutdown, doing nothing.");
+ return;
+ }
+
+ // if (!searchView.hasFocus()) {
+ // Log.d(LOG, "searchText changed without focus, doing nothing.");
+ // return;
+ // }
+ Log.d(LOG, "onSearchTextChange: " + text);
+ if (currentSearchOperation != null) {
+ Log.d(LOG, "Interrupting currentSearchOperation.");
+ currentSearchOperation.interrupted.set(true);
+ }
+ currentSearchOperation = new SearchOperation(text, index);
+ searchExecutor.execute(currentSearchOperation);
+ ((FloatingActionButton)findViewById(R.id.floatSearchButton)).setImageResource(text.length() > 0 ? R.drawable.ic_clear_black_24dp : R.drawable.ic_search_black_24dp);
+ }
+
+ // --------------------------------------------------------------------------
+ // Filtered results.
+ // --------------------------------------------------------------------------
+
+ private boolean isFiltered() {
+ return rowsToShow != null;
+ }
+
+ private void setFiltered(final SearchOperation searchOperation) {
+ if (nextWordMenuItem != null) {
+ nextWordMenuItem.setEnabled(false);
+ previousWordMenuItem.setEnabled(false);
+ }
+ rowsToShow = searchOperation.multiWordSearchResult;
+ setListAdapter(new IndexAdapter(index, rowsToShow, searchOperation.searchTokens));
+ }
+
+ private void clearFiltered() {
+ if (nextWordMenuItem != null) {
+ nextWordMenuItem.setEnabled(true);
+ previousWordMenuItem.setEnabled(true);
+ }
+ setListAdapter(new IndexAdapter(index));
+ rowsToShow = null;