Attempt to fix search sometimes not working.

ListView fails to process setSelection in some cases,
probably related to it being busy updating for a new
IndexAdapter.
Try to avoid this by posting the message to it instead
of to the uiHandler.
Might fix issue #120.
However the delay in jumpToTextFromHyperLink is still
needed, so this still is not really reliable.

diff --git a/src/com/hughes/android/dictionary/DictionaryActivity.java b/src/com/hughes/android/dictionary/DictionaryActivity.java
index 12839caeddcf3d6c351e0a2a137fe4508c38fc1a..77454f9a3e0032af41d5b056de722c577747fdc2 100644 (file)
--- a/src/com/hughes/android/dictionary/DictionaryActivity.java
+++ b/src/com/hughes/android/dictionary/DictionaryActivity.java
@@ -1351,7 +1351,9 @@ public class DictionaryActivity extends AppCompatActivity {
         Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);
 
         currentSearchOperation = null;
         Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);
 
         currentSearchOperation = null;

-        uiHandler.postDelayed(new Runnable() {
+        // Note: it's important to post to the ListView, otherwise
+        // the jumpToRow will randomly not work.
+        getListView().post(new Runnable() {

             @Override
             public void run() {
                 if (currentSearchOperation == null) {
             @Override
             public void run() {
                 if (currentSearchOperation == null) {


@@ -1370,7 +1372,7 @@ public class DictionaryActivity extends AppCompatActivity {
                     Log.d(LOG, "More coming, waiting for currentSearchOperation.");
                 }
             }
                     Log.d(LOG, "More coming, waiting for currentSearchOperation.");
                 }
             }

-        }, 20);
+        });

     }
 
     private void jumpToRow(final int row) {
     }
 
     private void jumpToRow(final int row) {