From 40ad62c263315c4118de1b67d514e5d23bc761eb Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 10 Mar 2005 10:13:48 +0000
Subject: [PATCH] fonts added to properties

---
 src/jalview/bin/Cache.java |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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)
-- 
1.7.10.2