osx pixel tweak
authorjprocter <Jim Procter>
Thu, 29 Apr 2010 08:50:54 +0000 (08:50 +0000)
committerjprocter <Jim Procter>
Thu, 29 Apr 2010 08:50:54 +0000 (08:50 +0000)
commit10211ab17c9941d56c0aa703d49b59ca8c04b5af
treef3da62ec0c6b1d071f1ecacc33f56088960b2674
parentcbf6ff7eebc0b53db308753f8f9c152fcd0029f6
osx pixel tweak
src/jalview/jbgui/GPreferences.java