From bf7e084a7e20fd24eac2d883098df37eb4eb91cb Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 29 Apr 2005 10:40:43 +0000
Subject: [PATCH] read in preferences at start up

---
 src/jalview/bin/Jalview.java |    2 ++
 1 file changed, 2 insertions(+)

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