git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09bcf67) | patch
Make sure fontmetrics is not null
authoramwaterhouse <Andrew Waterhouse>
Tue, 20 Sep 2005 13:13:07 +0000 (13:13 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 20 Sep 2005 13:13:07 +0000 (13:13 +0000)
commit18b27ea838aeaca9964a46c9b833a47fbb372d3b
tree5289208a1e09557ca5f4b245ec8f42eb8b77723ctree | snapshot
parent09bcf67a11fad002fc7c18aca46bf3672bb9f3eccommit | diff
Make sure fontmetrics is not null
src/jalview/gui/AnnotationPanel.java diff | blob | history