git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e4c4ad) | patch
Smooth font option
authoramwaterhouse <Andrew Waterhouse>
Mon, 30 Jan 2006 14:53:04 +0000 (14:53 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 30 Jan 2006 14:53:04 +0000 (14:53 +0000)
commit7651849dd842b8663742e55f621ffb1c8e631466
treeea74746ed4eac0f79760716e6babbf3f13998c87tree | snapshot
parent7e4c4ad887a30dc26496087b0150f4ac2fe355eccommit | diff
Smooth font option
src/jalview/jbgui/GPreferences.java diff | blob | history