load in gap symbol
authoramwaterhouse <Andrew Waterhouse>
Thu, 19 May 2005 17:54:11 +0000 (17:54 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 19 May 2005 17:54:11 +0000 (17:54 +0000)
src/jalview/gui/Preferences.java

index 7e05eed..075065e 100755 (executable)
@@ -51,6 +51,10 @@ public class Preferences extends GPreferences
       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