Description Jussi Suistomaa 2009-11-14 13:16:42 EST

Display.release() is disposing all the Shells when Display is getting disposed. If the Display happens to get disposed in a Dispose event listener of a Shell then Display.release() still tries to call Display.readAndDispatch() which throws an exception. Here's a snippet to reproduce the problem:

public static void main(String[] args) {
    final Display display = new Display();
    Shell shell = new Shell();
    shell.setLayout(new FillLayout());
    Button button = new Button(shell, SWT.PUSH);
    button.setText("Display.dispose()");
    shell.pack();
    button.addListener(SWT.Selection, new Listener() {
        public void handleEvent(Event event) {
            display.dispose();
        }
    });
    shell.open();
    shell.addListener(SWT.Dispose, new Listener() {
        public void handleEvent(Event event) {
            display.dispose();
        }
    });
    while(!display.isDisposed()) {
        if(!display.readAndDispatch())
            display.sleep();
    }
}