diff options
author | 2014-09-16 11:39:19 +0000 | |
---|---|---|
committer | 2014-09-16 11:39:19 +0000 | |
commit | 720e1c66c5d761cbb69b09d4560d0009d2b02c3c (patch) | |
tree | 9de64220035e6399a3be990d476ab8376021a0da /java/src/com/android/inputmethod/latin/PersonalizationHelperForDictionaryFacilitator.java | |
parent | 5ea456ee57107f7e3f24f6f5535a18d4b17997ff (diff) | |
parent | 618907e1f15c98a2cd46459a097663aeb145467d (diff) | |
download | latinime-720e1c66c5d761cbb69b09d4560d0009d2b02c3c.tar.gz latinime-720e1c66c5d761cbb69b09d4560d0009d2b02c3c.tar.xz latinime-720e1c66c5d761cbb69b09d4560d0009d2b02c3c.zip |
am 618907e1: Merge "[ML7] Have multiple DictionaryGroup instances in facilitator"
* commit '618907e1f15c98a2cd46459a097663aeb145467d':
[ML7] Have multiple DictionaryGroup instances in facilitator
Diffstat (limited to 'java/src/com/android/inputmethod/latin/PersonalizationHelperForDictionaryFacilitator.java')
-rw-r--r-- | java/src/com/android/inputmethod/latin/PersonalizationHelperForDictionaryFacilitator.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/java/src/com/android/inputmethod/latin/PersonalizationHelperForDictionaryFacilitator.java b/java/src/com/android/inputmethod/latin/PersonalizationHelperForDictionaryFacilitator.java index 43cebdfa4..396d062f8 100644 --- a/java/src/com/android/inputmethod/latin/PersonalizationHelperForDictionaryFacilitator.java +++ b/java/src/com/android/inputmethod/latin/PersonalizationHelperForDictionaryFacilitator.java @@ -88,17 +88,17 @@ public class PersonalizationHelperForDictionaryFacilitator { /** * Flush personalization dictionaries to dictionary files. Close dictionaries after writing - * files except the dictionary that is used for generating suggestions. + * files except the dictionaries that is used for generating suggestions. * - * @param personalizationDictUsedForSuggestion the personalization dictionary used for + * @param personalizationDictsUsedForSuggestion the personalization dictionaries used for * generating suggestions that won't be closed. */ public void flushPersonalizationDictionariesToUpdate( - final ExpandableBinaryDictionary personalizationDictUsedForSuggestion) { + final HashSet<ExpandableBinaryDictionary> personalizationDictsUsedForSuggestion) { for (final ExpandableBinaryDictionary personalizationDict : mPersonalizationDictsToUpdate.values()) { personalizationDict.asyncFlushBinaryDictionary(); - if (personalizationDict != personalizationDictUsedForSuggestion) { + if (!personalizationDictsUsedForSuggestion.contains(personalizationDict)) { // Close if the dictionary is not being used for suggestion. personalizationDict.close(); } |