Font changes on export png/eps
authoramwaterhouse <Andrew Waterhouse>
Mon, 12 Dec 2005 12:24:24 +0000 (12:24 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 12 Dec 2005 12:24:24 +0000 (12:24 +0000)
commitdb828a80af30619c8d46259c700be89c4731b700
treee11fe9dc86b6d429ac88c37ef5ad21e8d6ad9e1b
parent5099540b9d747283036a752baa5ea246e8a5e855
Font changes on export png/eps
src/jalview/gui/AlignmentPanel.java
src/jalview/gui/AnnotationLabels.java
src/jalview/gui/IdCanvas.java