src/jdict/Main.java
changeset 47 25a2b297656d
parent 38 45c0a27c902f
equal deleted inserted replaced
46:fa817f256aff 47:25a2b297656d
    26         System.out.println("Free Memory: " + new Long(freemem).toString());
    26         System.out.println("Free Memory: " + new Long(freemem).toString());
    27     }
    27     }
    28 
    28 
    29     protected void loadSettings()
    29     protected void loadSettings()
    30     {
    30     {
    31         String val = Mem.getVariable("Lingvo");
    31         String val = Mem.getVariable("lingvo");
    32         if (val != null)
    32         if (val != null)
    33             T.set_language(val);
    33             T.set_language(val);
    34     }
    34     }
    35 
    35 
    36     protected void saveSettings()
    36     protected void saveSettings()
    37     {
    37     {
    38         String old =  Mem.getVariable("Lingvo");
    38         String old =  Mem.getVariable("lingvo");
    39         String language = T.get_chosen_language();
    39         String language = T.get_chosen_language();
    40 
    40 
    41         if (old == null || ! language.equals(old))
    41         if (old == null || ! language.equals(old))
    42         {
    42         {
    43             Mem.setVariable("Lingvo", language);
    43             Mem.setVariable("Lingvo", language);