| changeset 78 | 71ad690e91f5 |
| parent 21 | 2a9601315dfc |
| 72:1f0034e370aa | 78:71ad690e91f5 |
|---|---|
10 *******************************************************************************/ |
10 *******************************************************************************/ |
11 package org.eclipse.swt.internal; |
11 package org.eclipse.swt.internal; |
12 import org.eclipse.swt.widgets.Display; |
12 import org.eclipse.swt.widgets.Display; |
13 |
13 |
14 |
14 |
15 public class ExitNotificationWrapper { |
15 public final class ExitNotificationWrapper { |
16 |
16 |
17 public static void notifyExit() { |
17 public static void notifyExit() { |
18 Display display = Display.getCurrent(); |
18 Display display = Display.getCurrent(); |
19 if(display != null) { |
19 if(display != null) { |
20 display.dispose(); |
20 display.dispose(); |
21 } |
21 } |
22 } |
22 } |
23 |
23 |
24 public static void uiDisposed() { |
|
25 notifyExit(); |
|
26 } |
|
24 } |
27 } |