git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eda4e33) | patch
FOnt size -3 for labels
authoramwaterhouse <Andrew Waterhouse>
Mon, 12 Dec 2005 13:31:49 +0000 (13:31 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 12 Dec 2005 13:31:49 +0000 (13:31 +0000)
commit9da72d5bf92cb3cc4645d7b15bcf8e83fd885a09
tree92ea9bf68601a65621eee2e83a204b6840a10894tree | snapshot
parenteda4e3368f30e54448e303c51d0cb717aed57f90commit | diff
FOnt size -3 for labels
src/jalview/gui/AnnotationLabels.java diff | blob | history