git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdcfb77) | patch
use fontchooser to change fonts
authoramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 11:23:10 +0000 (11:23 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 11:23:10 +0000 (11:23 +0000)
commit0039639a8b6fa7a9bfc131c83a493b5a696f0104
treeeceae0a640dc4cc5a72339a6842ebdaabc284135tree | snapshot
parentfdcfb775a9b255c4c09c9509bf35e7352b5d1f3acommit | diff
use fontchooser to change fonts
src/jalview/gui/TreePanel.java diff | blob | history