Merge branch 'bug/JAL-1988_JAL-3772_improved_quit_handling' into ben-big-merge
authorBen Soares <b.soares@dundee.ac.uk>
Tue, 8 Nov 2022 17:47:25 +0000 (17:47 +0000)
committerBen Soares <b.soares@dundee.ac.uk>
Tue, 8 Nov 2022 17:47:25 +0000 (17:47 +0000)
commit678fc0aaa829b3c433845ecb9bbebe7c8fd0fee5
tree573ac63c6324e054d20325202d801d8a885117ff
parent12098b3de3f7a7858cdf50bbcc51a2afc7568e76
parent21fae6296551b02a5f89c55261d0205b42d4e14f
Merge branch 'bug/JAL-1988_JAL-3772_improved_quit_handling' into ben-big-merge
src/jalview/gui/JvOptionPane.java