+ String string = Cache.getProperty("SHOW_FULL_ID");\r
+ if(string!=null)\r
+ showFullId = Boolean.valueOf(string).booleanValue();\r
+\r
+ string = Cache.getProperty("SHOW_FULLSCREEN");\r
+ if(string!=null)\r
+ showFullscreen = Boolean.valueOf(string).booleanValue();\r
+\r
+ string = Cache.getProperty("SHOW_ANNOTATIONS");\r
+ if(string!=null)\r
+ showAnnotation = Boolean.valueOf(string).booleanValue();\r
+\r
+ string = Cache.getProperty("SHOW_CONSERVATION");\r
+ if(string!=null)\r
+ showConservation = Boolean.valueOf(string).booleanValue();\r
+ string = Cache.getProperty("SHOW_QUALITY");\r
+ if(string!=null)\r
+ showQuality = Boolean.valueOf(string).booleanValue();\r
+ string = Cache.getProperty("SHOW_IDENTITY");\r
+ if(string!=null)\r
+ showIdentity = Boolean.valueOf(string).booleanValue();\r
+\r
+ string = Cache.getProperty("GAP_SYMBOL");\r
+ if(string!=null)\r
+ gapSymbol = string.charAt(0);\r
+\r
+ string = Cache.getProperty("SHOW_FULL_ID");\r
+ if(string!=null)\r
+ showFullId = Boolean.valueOf(string).booleanValue();\r
+\r
+ string = Cache.getProperty("FONT_NAME");\r
+ if (string != null)\r
+ fontName = string;\r
+\r
+ string = Cache.getProperty("FONT_STYLE");\r
+ if (string != null)\r
+ fontStyle = string;\r
+\r
+ string = Cache.getProperty("FONT_SIZE");\r
+ if (string != null)\r
+ fontSize = string;\r
+\r
+\r
+ string = Cache.getProperty("DEFAULT_COLOUR");\r
+ if(string!=null)\r
+ defaultColour = string;\r
+\r
+ string = Cache.getProperty("STARTUP_FILE");\r
+ if(string!=null)\r
+ startupFile = string;\r
+\r
+ string = Cache.getProperty("SHOW_STARTUP_FILE");\r
+ if(string!=null)\r
+ showStartupFile = Boolean.valueOf(string).booleanValue();\r
+\r
+ preferencesLoaded = true;\r
+ }\r
+\r
+ public Preferences()\r
+ {\r
+ initPreferences();\r
+\r