// 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
in.close();\r
}\r
catch (Exception ex)\r
- { }\r
+ { }\r
}\r
\r
public static String getProperty(String key)\r