import jalview.gui.*;\r
import javax.swing.*;\r
import java.awt.event.*;\r
-import java.applet.Applet;\r
+import jalview.io.*;\r
+\r
\r
public class Jalview extends JApplet\r
{\r
\r
if(file!=null)\r
{\r
- jalview.bin.Cache.LAST_DIRECTORY = file;\r
+ jalview.bin.Cache.setProperty("LAST_DIRECTORY", file);\r
String protocol = "File";\r
if (file.indexOf("http:") > -1)\r
protocol = "URL";\r
}\r
\r
public static void main(String[] args) {\r
- try{\r
+\r
+ Cache.loadProperties();\r
+\r
+ try{\r
UIManager.setLookAndFeel(\r
// "javax.swing.plaf.metal.MetalLookAndFeel"\r
// "javax.swing.plaf.multi.MultiLookAndFeel"\r
if(args!=null && args.length>0)\r
{\r
String file = args[0];\r
- jalview.bin.Cache.LAST_DIRECTORY = file;\r
String protocol = "File";\r
if(file.indexOf("http:")>-1)\r
protocol = "URL";\r
}\r
\r
}\r
+\r