(JAL-985,JAL-986) preference widgets for settings
authorjprocter <jprocter@compbio.dundee.ac.uk>
Wed, 9 Nov 2011 14:22:29 +0000 (14:22 +0000)
committerjprocter <jprocter@compbio.dundee.ac.uk>
Wed, 9 Nov 2011 14:22:29 +0000 (14:22 +0000)
commit35b5211f569ab800af33ac7ac3b95171dfcf79cc
treee900e7c3fdddba3e71f832c3576036069cfa8e94
parentfe021b84fb9a8a80ac6edd991f43d3bed2a110f7
(JAL-985,JAL-986) preference widgets for settings
src/jalview/gui/Preferences.java
src/jalview/jbgui/GPreferences.java