git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fb1cce) | patch
Allow for large font sizes
authoramwaterhouse <Andrew Waterhouse>
Mon, 7 May 2007 13:59:10 +0000 (13:59 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 7 May 2007 13:59:10 +0000 (13:59 +0000)
commit3414b2b982143500ab5c8afb7f575288b1f4fce4
treeadd058274578ff0c88963284e1337fc66c51a726tree | snapshot
parent3fb1cce1e733047ba3efa344690df45a1bd50452commit | diff
Allow for large font sizes
src/jalview/gui/AnnotationPanel.java diff | blob | history