JAL-1988 JAL-3772 wait timer working first time but blocking desktop gui updates
authorBen Soares <b.soares@dundee.ac.uk>
Mon, 24 Oct 2022 17:08:00 +0000 (18:08 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Mon, 24 Oct 2022 17:08:00 +0000 (18:08 +0100)
commit5db57ea2e44da7e8f3d5ff0866b0b81cd4458aeb
treef04676f1b7fdd958aa7614e50d7ada50602c2f19
parentb364e1e6d199002069dab615d1007799b5bb71e1
JAL-1988 JAL-3772 wait timer working first time but blocking desktop gui updates
src/jalview/gui/JvOptionPane.java
src/jalview/io/BackupFiles.java
src/jalview/jbgui/QuitHandler.java