jog pixels for OSX
authorjprocter <Jim Procter>
Wed, 28 Apr 2010 14:23:18 +0000 (14:23 +0000)
committerjprocter <Jim Procter>
Wed, 28 Apr 2010 14:23:18 +0000 (14:23 +0000)
commita928b501e71cef2627004a73e2d5c460b44b2d7b
treeb2057a15ffbf2580e3a3ae6b47b9859fe6ee6aad
parenteae01b09aadd51c1062c67fa66de5636f1854dd2
jog pixels for OSX
src/jalview/gui/FeatureColourChooser.java
src/jalview/jbgui/GPreferences.java