Use Cache.getProperty
authoramwaterhouse <Andrew Waterhouse>
Mon, 7 Feb 2005 17:09:19 +0000 (17:09 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 7 Feb 2005 17:09:19 +0000 (17:09 +0000)
commit6f3fc393f90ea0460caeca7e229e505741c51bd4
tree25ffb42718a758b733499d1e133c49d039266bbf
parentb7d08a8fc06966d98af98e4eaacb03db813005f5
Use Cache.getProperty
src/jalview/gui/AlignFrame.java
src/jalview/gui/Desktop.java
src/jalview/gui/TreePanel.java
src/jalview/gui/UserDefinedColours.java
src/jalview/io/HTMLOutput.java