Use getTreeFont instead of getFont
authoramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 11:52:06 +0000 (11:52 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 11:52:06 +0000 (11:52 +0000)
commiteab172160ce8e1f0d3ca95c1c273124a194e13e4
tree33621cc5b0418e088696d4e3091a4114bce26d12
parent39c4d90c193e38baf4d5f7ac6b3f5e25c9807f3e
Use getTreeFont instead of getFont
src/jalview/gui/FontChooser.java
src/jalview/gui/Jalview2XML.java
src/jalview/gui/TreePanel.java