From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 10 Mar 2005 10:13:48 +0000 (+0000)
Subject: fonts added to properties
X-Git-Tag: Release_2_0~601
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=40ad62c263315c4118de1b67d514e5d23bc761eb;p=jalview.git

fonts added to properties
---

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