git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c42181e) | patch
JAL-3141 Preferences 'Backups' tab now fits. Moved initial option setting into Prefe...
authorBen Soares <bsoares@dundee.ac.uk>
Thu, 1 Nov 2018 14:27:00 +0000 (14:27 +0000)
committerBen Soares <bsoares@dundee.ac.uk>
Thu, 1 Nov 2018 14:27:00 +0000 (14:27 +0000)
commitd9fbdbf342baf8c897566d4ef75ea4adf10bd35a
treeaa55273f22e4693354b8b2fa61651f602520120dtree | snapshot
parentc42181ee3d353f05ea889874314c8e83291d8ff5commit | diff
JAL-3141 Preferences 'Backups' tab now fits.  Moved initial option setting into Preferences with all the other preference initial setting.
resources/lang/Messages.properties diff | blob | history
src/jalview/gui/Preferences.java diff | blob | history
src/jalview/jbgui/GPreferences.java diff | blob | history