Size adjustments for MacOSX
authoramwaterhouse <Andrew Waterhouse>
Fri, 9 Jun 2006 16:22:32 +0000 (16:22 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 9 Jun 2006 16:22:32 +0000 (16:22 +0000)
commitf8d0fb91bae48f3e22d71996ed8273de152ceed2
tree533eca9662f64eeb75faf909e2b3324a8d475001
parent566b164f60df39a2fcb35a9d174273a043691931
Size adjustments for MacOSX
src/jalview/gui/Preferences.java