1 /********************
\r
2 * 2004 Jalview Reengineered
\r
10 package jalview.bin;
\r
16 public static Properties applicationProperties;
\r
17 // Current properties include:
\r
19 // LAST_DIRECTORY , use this to cache record of where the user looked to find a file
\r
21 // USER_DEFINED_COLOUR - file describing last user set colours
\r
27 public static void loadProperties()
\r
29 applicationProperties = new Properties();
\r
33 FileInputStream in = new FileInputStream(System.getProperty("user.home") +
\r
34 "/.jalview_properties");
\r
35 applicationProperties = new Properties();
\r
36 applicationProperties.load(in);
\r
39 catch (Exception ex)
\r
43 public static String getProperty(String key)
\r
45 return applicationProperties.getProperty(key);
\r
48 public static String setProperty(String key, String obj)
\r
52 FileOutputStream out = new FileOutputStream(System.getProperty(
\r
53 "user.home") + "/.jalview_properties");
\r
55 applicationProperties.setProperty(key, obj);
\r
57 applicationProperties.store(out, "---JalviewX Properties File---");
\r
60 catch (Exception ex)
\r