From 41f9f9ed655548da2c50dfa9991bccbb44ecbb87 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 7 Feb 2005 17:06:34 +0000
Subject: [PATCH] load properties on startup

---
 src/jalview/bin/Jalview.java |   12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index f23bcc9..35fc4c9 100755
--- a/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@ -12,7 +12,8 @@ package jalview.bin;
 import jalview.gui.*;
 import javax.swing.*;
 import java.awt.event.*;
-import java.applet.Applet;
+import jalview.io.*;
+
 
 public class Jalview extends JApplet
 {
@@ -39,7 +40,7 @@ public class Jalview extends JApplet
 
     if(file!=null)
     {
-      jalview.bin.Cache.LAST_DIRECTORY = file;
+      jalview.bin.Cache.setProperty("LAST_DIRECTORY", file);
       String protocol = "File";
       if (file.indexOf("http:") > -1)
         protocol = "URL";
@@ -60,7 +61,10 @@ public class Jalview extends JApplet
   }
 
    public static void main(String[] args) {
-     try{
+
+    Cache.loadProperties();
+
+    try{
        UIManager.setLookAndFeel(
    //   "javax.swing.plaf.metal.MetalLookAndFeel"
     //  "javax.swing.plaf.multi.MultiLookAndFeel"
@@ -82,7 +86,6 @@ public class Jalview extends JApplet
      if(args!=null && args.length>0)
      {
          String file = args[0];
-         jalview.bin.Cache.LAST_DIRECTORY = file;
          String protocol = "File";
          if(file.indexOf("http:")>-1)
            protocol = "URL";
@@ -95,3 +98,4 @@ public class Jalview extends JApplet
    }
 
 }
+
-- 
1.7.10.2