Bug 506943: SWTBotMenu.hide() should mark the menu as invisible

Change-Id: I588b4218b47d6d9e3d201b14a5323b5ffee31dd4
Signed-off-by: Patrick Tasse <patrick.tasse@gmail.com>
diff --git a/org.eclipse.swtbot.swt.finder/src/org/eclipse/swtbot/swt/finder/widgets/SWTBotMenu.java b/org.eclipse.swtbot.swt.finder/src/org/eclipse/swtbot/swt/finder/widgets/SWTBotMenu.java
index d2159b4..b23ae96 100644
--- a/org.eclipse.swtbot.swt.finder/src/org/eclipse/swtbot/swt/finder/widgets/SWTBotMenu.java
+++ b/org.eclipse.swtbot.swt.finder/src/org/eclipse/swtbot/swt/finder/widgets/SWTBotMenu.java
@@ -124,6 +124,7 @@
 				while (menu instanceof Menu && ((menu.getStyle() & SWT.BAR) == 0)) {
 					Event event = createEvent();
 					event.widget = menu;
+					menu.setVisible(false);
 					menu.notifyListeners(SWT.Hide, event);
 					menu = menu.getParentMenu();
 				}
diff --git a/org.eclipse.swtbot.swt.finder/src/org/eclipse/swtbot/swt/finder/widgets/SWTBotRootMenu.java b/org.eclipse.swtbot.swt.finder/src/org/eclipse/swtbot/swt/finder/widgets/SWTBotRootMenu.java
index df05c83..cd41e10 100644
--- a/org.eclipse.swtbot.swt.finder/src/org/eclipse/swtbot/swt/finder/widgets/SWTBotRootMenu.java
+++ b/org.eclipse.swtbot.swt.finder/src/org/eclipse/swtbot/swt/finder/widgets/SWTBotRootMenu.java
@@ -154,6 +154,7 @@
 		syncExec(new VoidResult() {
 			public void run() {
 				if ((widget.getStyle() & SWT.POP_UP) != 0) {
+					widget.setVisible(false);
 					widget.notifyListeners(SWT.Hide, createEvent());
 				}
 			}