fonts added to properties
authoramwaterhouse <Andrew Waterhouse>
Thu, 10 Mar 2005 10:13:48 +0000 (10:13 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 10 Mar 2005 10:13:48 +0000 (10:13 +0000)
src/jalview/bin/Cache.java

index 0663ed3..e0edae8 100755 (executable)
@@ -19,6 +19,10 @@ public class Cache
   // LAST_DIRECTORY   , use this to cache record of where the user looked to find a file\r
   // UNIPROT_CACHE\r
   // USER_DEFINED_COLOUR - file describing last user set colours\r
+  // FONT_NAME\r
+  // FONT_STYLE\r
+  // FONT_SIZE\r
+\r
 \r
   public static void loadProperties()\r
   {\r
@@ -33,7 +37,7 @@ public class Cache
       in.close();\r
     }\r
     catch (Exception ex)\r
-    {    }\r
+    { }\r
   }\r
 \r
   public static String getProperty(String key)\r