final File defaultDictDir = new File(Environment.getExternalStorageDirectory(), "quickDic");
String dir = defaultDictDir.getAbsolutePath();
File dictDir = new File(dir);
- if (dictDir.isDirectory() && dictDir.list().length > 0) {
+ if (dictDir.isDirectory() && dictDir.list() != null && dictDir.list().length > 0) {
return dir;
}
File efd = null;
PersistentObjectCache.getInstance().write(C.DICTIONARY_CONFIGS, dictionaryConfig);
}
+ public synchronized void sortDictionaries() {
+ Collections.sort(dictionaryConfig.dictionaryFilesOrdered, uncompressedFilenameComparator);
+ PersistentObjectCache.getInstance().write(C.DICTIONARY_CONFIGS, dictionaryConfig);
+ }
+
public synchronized void deleteDictionary(final DictionaryInfo dictionaryInfo) {
while (dictionaryConfig.dictionaryFilesOrdered.remove(dictionaryInfo.uncompressedFilename)) {
}