Bug 480318 - SWT Menu does not fire Selection Event when touch display
is enabled 

dispatch messages, before menu gets disposed

Change-Id: I7325bc79ee836257e1ec21e38c499d5be4ad247b
Signed-off-by: Conrad Groth <info@conrad-groth.de>
diff --git a/examples/org.eclipse.swt.snippets/src/org/eclipse/swt/snippets/Snippet131.java b/examples/org.eclipse.swt.snippets/src/org/eclipse/swt/snippets/Snippet131.java
index f77026d..eb90104 100644
--- a/examples/org.eclipse.swt.snippets/src/org/eclipse/swt/snippets/Snippet131.java
+++ b/examples/org.eclipse.swt.snippets/src/org/eclipse/swt/snippets/Snippet131.java
@@ -42,6 +42,7 @@
 			while (!menu.isDisposed () && menu.isVisible ()) {
 				if (!display.readAndDispatch ()) display.sleep ();
 			}
+			while (display.readAndDispatch()); // needed, to get the selection event, which is fired AFTER the menu is hidden
 			menu.dispose ();
 		}
 	});