get fontmetrics from pg
authoramwaterhouse <Andrew Waterhouse>
Thu, 1 Feb 2007 14:07:56 +0000 (14:07 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 1 Feb 2007 14:07:56 +0000 (14:07 +0000)
commit5dd663636925f44c6f964fa32fed2f584223b295
tree61aa5b6b5b20bdce166d77ae5d45eb1859ff2458
parent36c7b21df9a667ede49034e5274516d258590dd9
get fontmetrics from pg
src/jalview/gui/AlignmentPanel.java