git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0dcafd4) | patch
Font change instead of font size
authoramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 11:24:33 +0000 (11:24 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 11:24:33 +0000 (11:24 +0000)
commitf93308510f799ad4e93dda4c984a35ffc2218ee7
tree299ab3bb637facf040496abbdbfac62c86675cd3tree | snapshot
parent0dcafd41725e30848c8ce8a279e4d6f9bf2f5ebacommit | diff
Font change instead of font size
src/jalview/jbgui/GTreePanel.java diff | blob | history