Set size for mac users
authoramwaterhouse <Andrew Waterhouse>
Wed, 17 Aug 2005 14:11:34 +0000 (14:11 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 17 Aug 2005 14:11:34 +0000 (14:11 +0000)
commit92c253b4b037e45afffeb1e34f89d0b825ba3225
tree3f904043947812f143087baae1043fc469868c8e
parent312b3c8c057523b4b3a93e0f4b26a5a1731e7a49
Set size for mac users
src/jalview/gui/UserDefinedColours.java