[BLUEJ-1264] Changed-on-disk dialog can re-appear forever
The changed-on-disk dialog is shown when the tab gets focus and the file has been modified on disk. But if you click a button to dismiss it, an infinite loop can occur where the tab gets focus (but before the dialog result has been processed), which causes a second modal dialog to be shown, before the first is dismissed. Thus, clicking the button just results in more of the same dialogs being shown.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.2.1