Slight adjustments
authoramwaterhouse <Andrew Waterhouse>
Fri, 3 Feb 2006 17:47:32 +0000 (17:47 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 3 Feb 2006 17:47:32 +0000 (17:47 +0000)
commitba7dbc4f57fff0625adb04363ccbc59d3f16dfdc
treec8c1e2f15f865fef672e822e14352f345f7bbb68
parentec780076ad0eb628ac36edd4f562c412c3bb6f57
Slight adjustments
src/jalview/jbgui/GPreferences.java