JAL-1933 desktop preferences for occupancy
authorJim Procter <jprocter@issues.jalview.org>
Thu, 27 Apr 2017 16:34:47 +0000 (17:34 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Thu, 27 Apr 2017 16:34:47 +0000 (17:34 +0100)
commitdbd89a2f85503279ad57c1d8a073a4b8394fa235
tree55407d9b2365d3b02572d8a03b8e4329cab7e9b9
parent85b39113d0957605fdf9a748d44ca7ef3302aa29
JAL-1933 desktop preferences for occupancy
src/jalview/gui/Preferences.java
src/jalview/jbgui/GPreferences.java