Offsets
authoramwaterhouse <Andrew Waterhouse>
Fri, 7 Jul 2006 13:03:13 +0000 (13:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 7 Jul 2006 13:03:13 +0000 (13:03 +0000)
commit05cc1e453976137138e0d24ba0264b8e5f35b628
tree3e4e91ebf5ef228790272275e0e5aad29b36270b
parenteae7c51e082c38ead935bf5c28d46120abca86bf
Offsets
src/jalview/jbgui/GPreferences.java