git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 713c09e) | patch
Make checkbox bigger for text on mac
authoramwaterhouse <Andrew Waterhouse>
Mon, 12 Feb 2007 09:43:40 +0000 (09:43 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 12 Feb 2007 09:43:40 +0000 (09:43 +0000)
commit12cc8cf9004b54db1b9fafa21d22d119bb874dfc
tree9d00e505aab7418f6dbcb1f1d33384e7a9041fcetree | snapshot
parent713c09ec2d6f35d74ba2c6ed114bb3a29f3f5cf5commit | diff
Make checkbox bigger for text on mac
src/jalview/jbgui/GPreferences.java diff | blob | history