# HG changeset patch # User viric@llimona # Date 1187477553 -7200 # Node ID 25a2b297656d705e935d6a399c4d98f2171d85d3 # Parent fa817f256aff1791146116a3278a6700a2b11ba1 lowercase recordstores. Will it work? diff -r fa817f256aff -r 25a2b297656d src/jdict/AskWord.java --- a/src/jdict/AskWord.java Sun Aug 19 00:31:37 2007 +0200 +++ b/src/jdict/AskWord.java Sun Aug 19 00:52:33 2007 +0200 @@ -68,7 +68,7 @@ translit = new ChoiceGroup(T.t("Transliterigo"), ChoiceGroup.EXCLUSIVE); - String tselected = Mem.getVariable("Transliterigo"); + String tselected = Mem.getVariable("transliterigo"); int lindex; lindex = translit.append(translit_neniu, null); if (tselected != null && tselected.equals(translit_neniu)) @@ -138,7 +138,7 @@ else if (c == cmd_eliri) { String tselected = translit.getString(translit.getSelectedIndex()); - Mem.setVariable("Transliterigo", tselected); + Mem.setVariable("transliterigo", tselected); Main.main.quit(); } else if (c == cmd_montri) diff -r fa817f256aff -r 25a2b297656d src/jdict/Main.java --- a/src/jdict/Main.java Sun Aug 19 00:31:37 2007 +0200 +++ b/src/jdict/Main.java Sun Aug 19 00:52:33 2007 +0200 @@ -28,14 +28,14 @@ protected void loadSettings() { - String val = Mem.getVariable("Lingvo"); + String val = Mem.getVariable("lingvo"); if (val != null) T.set_language(val); } protected void saveSettings() { - String old = Mem.getVariable("Lingvo"); + String old = Mem.getVariable("lingvo"); String language = T.get_chosen_language(); if (old == null || ! language.equals(old))