git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1372c49) | patch
make sure fonts are not null
authoramwaterhouse <Andrew Waterhouse>
Mon, 23 May 2005 16:31:07 +0000 (16:31 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 23 May 2005 16:31:07 +0000 (16:31 +0000)
commita33d19728e33ab67aacdb990e190cba2ef53e1af
treefac40350c01686a5536c6c57ed1d736ed02f0499tree | snapshot
parent1372c49214e3cd258167467ec2a5f644cc2e811ccommit | diff
make sure fonts are not null
src/jalview/gui/Preferences.java diff | blob | history