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)
1  2 
src/jalview/gui/JvOptionPane.java

Simple merge