git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3fb619) | patch
fonts changed as selection made
authoramwaterhouse <Andrew Waterhouse>
Thu, 10 Mar 2005 10:12:01 +0000 (10:12 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 10 Mar 2005 10:12:01 +0000 (10:12 +0000)
commit21bf96841dd49d9538dff23e6dd553485ab16896
tree11372258fffe942971e0322a2b8109a9da31c001tree | snapshot
parentc3fb619456647802a17540f53227ad1afa01a10fcommit | diff
fonts changed as selection made
src/jalview/gui/FontChooser.java diff | blob | history