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