commit e7a2512aa3666e1b891dc7dfc5a0cb28fd66bea9
author Tadashi G. Takaoka <takaoka@google.com> Tue Mar 15 11:46:32 2011 -0700
committer Tadashi G. Takaoka <takaoka@google.com> Wed Mar 16 16:03:05 2011 -0700
tree 61cb818fb4983a759b5be5b1a97d115ca6df2bf2
parent 027992afdcc226a79351d4b8c3b2f953f04cf44e

Add Utils.equalsIgnoreCase methods

This change also corrects usage of "frequency", "priority" and "score"
* Frequency is the relative probability in dictionary.
* Score is the relative probability in suggestions.
* Priority is kind a sorted score.

Change-Id: Iafb135a4ecdb401cc505014a07c74dfcac44d699

java/proguard.flags

diff --git a/java/proguard.flags b/java/proguard.flags
index 729f4ad..914bd75 100644
--- a/java/proguard.flags
+++ b/java/proguard.flags
@@ -18,3 +18,7 @@
 -keep class com.android.inputmethod.latin.AutoCorrection {
   java.lang.CharSequence getAutoCorrectionWord();
 }
+
+-keep class com.android.inputmethod.latin.Utils {
+  boolean equalsIgnoreCase(...);
+}