use proper encoding for storing colour as user preference (JAL-234)
authorjprocter <jprocter@compbio.dundee.ac.uk>
Mon, 25 Jul 2011 16:05:57 +0000 (17:05 +0100)
committerjprocter <jprocter@compbio.dundee.ac.uk>
Mon, 25 Jul 2011 16:05:57 +0000 (17:05 +0100)
commit9fe2470b6400c06457392d608763cbf65b535f4c
tree6f0d067e021b14157bc81b7e54b70491251353b9
parent7178ab15790c2e7bffcead037f99dca883846073
use proper encoding for storing colour as user preference (JAL-234)
src/jalview/bin/Cache.java
src/jalview/gui/Preferences.java
src/jalview/jbgui/GPreferences.java