changeset 47 | 25a2b297656d |
parent 38 | 45c0a27c902f |
--- 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))