read in preferences at start up
authoramwaterhouse <Andrew Waterhouse>
Fri, 29 Apr 2005 10:40:43 +0000 (10:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 29 Apr 2005 10:40:43 +0000 (10:40 +0000)
src/jalview/bin/Jalview.java

index 56c923a..4ce1984 100755 (executable)
@@ -24,6 +24,7 @@ public class Jalview extends JApplet
   {\r
     applet = this;\r
     Cache.loadProperties();\r
+    jalview.gui.Preferences.initPreferences();\r
 \r
     frame = new Desktop();\r
     frame.setResizable(true);\r
@@ -76,6 +77,7 @@ public class Jalview extends JApplet
    public static void main(String[] args) {\r
 \r
     Cache.loadProperties();\r
+    jalview.gui.Preferences.initPreferences();\r
     try {\r
       initLogger();\r
     } catch (Exception e) {\r