jog pixels for OSX
authorjprocter <Jim Procter>
Wed, 28 Apr 2010 17:01:27 +0000 (17:01 +0000)
committerjprocter <Jim Procter>
Wed, 28 Apr 2010 17:01:27 +0000 (17:01 +0000)
commit0233fbee0ff0d7fad302aa2da743c51fd64be101
treec00cfde10e8e00a49976f941d9b59264745879d3
parent7542c09a302d40313e8c112a556b9cdd7ef160ea
jog pixels for OSX
src/jalview/jbgui/GPreferences.java