git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e67558) | patch
calls fontChanged
authoramwaterhouse <Andrew Waterhouse>
Mon, 18 Apr 2005 08:03:56 +0000 (08:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 18 Apr 2005 08:03:56 +0000 (08:03 +0000)
commit0cd2dfb5cf9067cfa87dc2ac879626070c42f4c2
treeb843af487470fff93ff61c99c5b16f9bb862ab55tree | snapshot
parent8e67558df4403377d98e3efb232a10bf72fbcdbfcommit | diff
calls fontChanged
src/jalview/gui/FontChooser.java diff | blob | history