WaitingDialog: do not allow close and dispose when needed
authorNiki Roo <niki@nikiroo.be>
Mon, 4 May 2020 17:20:05 +0000 (19:20 +0200)
committerNiki Roo <niki@nikiroo.be>
Mon, 4 May 2020 17:20:05 +0000 (19:20 +0200)
commit044aead799cf703fe9fc347215a9cf235fc7cf0a
treeb26ec3c4cb78f4c2aedf715a05d8e63606463016
parenta71e8e38414d211daa4c7311171bc1fda7c6d7c7
WaitingDialog: do not allow close and dispose when needed
ui/WaitingDialog.java