git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a33703) | patch
adjust annotation panel height when font changed
authoramwaterhouse <Andrew Waterhouse>
Fri, 15 Apr 2005 15:00:26 +0000 (15:00 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 15 Apr 2005 15:00:26 +0000 (15:00 +0000)
commitb8ad1d6974a31bce823c3d7ac2f49d07f0a0c061
treeba477791b2e6d0eb57e59c71f950367baea25635tree | snapshot
parent7a33703b08606394844a7cc796ca1ffe83e3d2d1commit | diff
adjust annotation panel height when font changed
src/jalview/gui/FontChooser.java diff | blob | history