Resize for mac
authoramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 11:52:23 +0000 (11:52 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 14 Sep 2005 11:52:23 +0000 (11:52 +0000)
commitf932cb5bb08dce9d7441c788d6996efaef53d15a
treeabe58851310fc7c46991789e9d68b822cd2a20ef
parenteab172160ce8e1f0d3ca95c1c273124a194e13e4
Resize for mac
src/jalview/jbgui/GPreferences.java