Merge branch 'bug/JAL-1988_JAL-3772_improved_quit_handling' into merge/JAL-1988_JAL...
authorBen Soares <b.soares@dundee.ac.uk>
Wed, 9 Nov 2022 15:30:29 +0000 (15:30 +0000)
committerBen Soares <b.soares@dundee.ac.uk>
Wed, 9 Nov 2022 15:30:29 +0000 (15:30 +0000)
commitc3ddfbdfabb6a5613a2850175cdd8d1a24195ca0
tree0891930f6a91ae508d7c1679ec47e38748e310ef
parent678fc0aaa829b3c433845ecb9bbebe7c8fd0fee5
parent0d37fef8a89c67845c14f2383e89003c9a2c5b62
Merge branch 'bug/JAL-1988_JAL-3772_improved_quit_handling' into merge/JAL-1988_JAL-3772+JAL-3416+JAL-4054+JAL-4064
src/jalview/gui/Desktop.java