Use font size, not font height
authoramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 12:20:48 +0000 (12:20 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 12:20:48 +0000 (12:20 +0000)
commit687aca6928c6be41c2693c6c0f5ab651a40e815e
treef45dd5ce6e21409525f137f28af18513f6a6d779
parentf932cb5bb08dce9d7441c788d6996efaef53d15a
Use font size, not font height
src/jalview/gui/TreeCanvas.java