import android.os.Bundle;
import android.preference.PreferenceManager;
import android.util.Log;
+import android.util.TypedValue;
import android.view.ContextMenu;
import android.view.Menu;
import android.view.MenuItem;
}
if (quickDicConfig.currentVersion < QuickDicConfig.LATEST_VERSION) {
Log.d(LOG, "Dictionary list is old, updating it.");
+
+ // Replace <-> with -
+ if (quickDicConfig.currentVersion == 3) {
+ for (final DictionaryConfig config : quickDicConfig.dictionaryConfigs) {
+ config.name = config.name.replace("<->", "-");
+ }
+ }
quickDicConfig.addDefaultDictionaries();
quickDicConfig.currentVersion = QuickDicConfig.LATEST_VERSION;
}
}
view.setText(name);
- view.setTextSize(20);
+ view.setTextSize(TypedValue.COMPLEX_UNIT_SP, 22);
tableLayout.addView(view);
return tableLayout;