git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7d5ffd) | patch
JAL-3364 more careful save/restore of preferences
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 30 Jul 2019 13:08:01 +0000 (14:08 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 30 Jul 2019 13:08:01 +0000 (14:08 +0100)
commit51ff82459bf98489783edb76a9f2c983d8416803
tree697c6e94944fc9007bde9aff5f5903c9b2a73005tree | snapshot
parenta7d5ffd03eeb334a09f94f3ea741d366e0f12fbecommit | diff
JAL-3364 more careful save/restore of preferences
src/jalview/gui/AlignmentPanel.java diff | blob | history