git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 908731c) | patch
fontmetrics must be obtained after font change
authoramwaterhouse <Andrew Waterhouse>
Fri, 15 Apr 2005 14:59:24 +0000 (14:59 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 15 Apr 2005 14:59:24 +0000 (14:59 +0000)
commit2c6c43ab475868971209564e23d7e406d2e2068b
tree952f25da66b01f930062a358471e59d825820d6etree | snapshot
parent908731cadc81a05b6fcaab8290f700b8fd060c29commit | diff
fontmetrics must be obtained after font change
src/jalview/gui/AnnotationPanel.java diff | blob | history