@Override
public void run() {
searchTextView.setThreshold(0);
- searchTextView.showDropDown();
+ try {
+ searchTextView.showDropDown();
+ // ignore any errors, in particular BadTokenException happens a lot
+ } catch (Exception e) {}
}
});
}
import java.io.IOException;
import java.io.PrintStream;
import java.io.RandomAccessFile;
+import java.nio.BufferUnderflowException;
import java.nio.MappedByteBuffer;
import java.nio.channels.FileChannel;
import java.util.ArrayList;
// Most likely due to a Buffer.limit beyond size of file,
// do not crash just because of a truncated dictionary file
return getErrorDictionaryInfo(file);
+ } catch (BufferUnderflowException e) {
+ // Most likely due to a read beyond the buffer limit set,
+ // do not crash just because of a truncated or corrupt dictionary file
+ return getErrorDictionaryInfo(file);
} finally {
if (raf != null) {
try {