From 863f92d688429d50ac290e0f31639ed17d72390e Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 29 Apr 2005 11:05:11 +0000
Subject: [PATCH] REad in defaultColour

---
 src/jalview/gui/Preferences.java |    5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 264ef03..7e05eed 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -59,6 +59,11 @@ public class Preferences extends GPreferences
   fontStyle = Cache.getProperty("FONT_STYLE");
   fontSize = Cache.getProperty("FONT_SIZE");
 
+  string = Cache.getProperty("DEFAULT_COLOUR");
+  if(string!=null)
+      defaultColour = string;
+
+
       preferencesLoaded = true;
   }
 
-- 
1.7.10.2