JAL-3141 patch for Backups preferences enable/disable widget fix
authorBen Soares <bsoares@dundee.ac.uk>
Tue, 19 Mar 2019 16:29:07 +0000 (16:29 +0000)
committerBen Soares <bsoares@dundee.ac.uk>
Tue, 19 Mar 2019 16:29:07 +0000 (16:29 +0000)
commit5e3d89b92147d9b077cc0f2f2d50717abb2d0370
treefeac7808b99b97a5012daa647f22d0c96ddac9bf
parentfceb361f2da8878902f9726ab694947f5317e153
JAL-3141 patch for Backups preferences enable/disable widget fix
src/jalview/jbgui/GPreferences.java