Slightly bigger for Mac
authoramwaterhouse <Andrew Waterhouse>
Fri, 3 Feb 2006 17:44:15 +0000 (17:44 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 3 Feb 2006 17:44:15 +0000 (17:44 +0000)
commitdc1d2d1779b2ccd4d67b2afa094f269db77732e2
tree02be880e863c862a12aaed4f55184dab1a8c641d
parent9480f18113c0d16dfb157eb3fff60a1e29c33d39
Slightly bigger for Mac
src/jalview/gui/Preferences.java