From: Thad Hughes Date: Tue, 3 Dec 2013 18:49:47 +0000 (-0800) Subject: Merged. Switched back to name "Preferences" instead of "Settings". X-Git-Url: http://gitweb.fperrin.net/?p=Dictionary.git;a=commitdiff_plain;h=c625416a33f9da39bb8ec6a2c9a67a7d47e477d8 Merged. Switched back to name "Preferences" instead of "Settings". Merge branch 'master' of https://code.google.com/p/quickdic-dictionary.dictionary Conflicts: res/xml/preferences.xml src/com/hughes/android/dictionary/DictionaryActivity.java src/com/hughes/android/dictionary/PreferenceActivity.java --- c625416a33f9da39bb8ec6a2c9a67a7d47e477d8 diff --cc res/values/strings.xml index 8185bb1,ef7d8bd..c925821 --- a/res/values/strings.xml +++ b/res/values/strings.xml @@@ -11,9 -11,12 +11,13 @@@ Help Report issue… Detected font problem (common on Sony Ericsson devices), switching back to default font. + Clear search text + Please specify a default directory in the settings. + + + Dictionary manager Long-press a dictionary for more options. diff --cc res/xml/preferences.xml index 1644b61,a57dece..4b948a0 --- a/res/xml/preferences.xml +++ b/res/xml/preferences.xml @@@ -1,5 -1,13 +1,12 @@@ - - - ++ dicts = application.getUsableDicts(); + + final CharSequence[] entries = new CharSequence[dicts.size()]; + final CharSequence[] entryvalues = new CharSequence[dicts.size()]; + + for(int i = 0; i < entries.length; ++i) + { + entries[i] = dicts.get(i).dictInfo; + entryvalues[i] = dicts.get(i).uncompressedFilename; + } + + defaultDic.setEntries(entries); + defaultDic.setEntryValues(entryvalues); - - + } + + @Override + public void onContentChanged() { + super.onContentChanged(); + } - + }