From 85342b3acacc89a9854a8e25a49573f2c044a374 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 19 May 2005 17:54:11 +0000 Subject: [PATCH] load in gap symbol --- src/jalview/gui/Preferences.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index 7e05eed..075065e 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -51,6 +51,10 @@ public class Preferences extends GPreferences if(string!=null) showIdentity = Boolean.valueOf(string).booleanValue(); + string = Cache.getProperty("GAP_SYMBOL"); + if(string!=null) + gapSymbol = string.charAt(0); + string = Cache.getProperty("SHOW_FULL_ID"); if(string!=null) showFullId = Boolean.valueOf(string).booleanValue(); -- 1.7.10.2