javauis/eswt_qt/org.eclipse.swt/Eclipse_SWT_PI/common_j2se/org/eclipse/swt/internal/ExitNotificationWrapper.java
changeset 78 71ad690e91f5
parent 21 2a9601315dfc
--- a/javauis/eswt_qt/org.eclipse.swt/Eclipse_SWT_PI/common_j2se/org/eclipse/swt/internal/ExitNotificationWrapper.java	Fri Sep 17 16:44:34 2010 +0300
+++ b/javauis/eswt_qt/org.eclipse.swt/Eclipse_SWT_PI/common_j2se/org/eclipse/swt/internal/ExitNotificationWrapper.java	Mon Oct 04 11:29:25 2010 +0300
@@ -12,13 +12,16 @@
 import org.eclipse.swt.widgets.Display;
 
 
-public class ExitNotificationWrapper {	
-	
-	public static void notifyExit() {
-	    Display display = Display.getCurrent();
-	    if(display != null) {
-	        display.dispose();
-		}
- 	}
-	
+public final class ExitNotificationWrapper {	
+    
+    public static void notifyExit() {
+        Display display = Display.getCurrent();
+        if(display != null) {
+            display.dispose();
+        }
+    }
+    
+    public static void uiDisposed() {
+        notifyExit();
+    }
 }