From 296b044031bdc7b5ead5de192d1e855f239cd722 Mon Sep 17 00:00:00 2001
From: Lorenzo Bettini <lorenzo.bettini@gmail.com>
Date: Thu, 16 Nov 2023 13:36:17 +0100
Subject: [PATCH] Undo/Redo menu edit does not show description anymore

see https://www.eclipse.org/forums/index.php/t/1113985/
---
 .../tests/swtbot/EmfParsleySWTBotAbstractTests.java    | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/tests/org.eclipse.emf.parsley.tests.swtbot/src/org/eclipse/emf/parsley/tests/swtbot/EmfParsleySWTBotAbstractTests.java b/tests/org.eclipse.emf.parsley.tests.swtbot/src/org/eclipse/emf/parsley/tests/swtbot/EmfParsleySWTBotAbstractTests.java
index 71f06c84..218c4dac 100644
--- a/tests/org.eclipse.emf.parsley.tests.swtbot/src/org/eclipse/emf/parsley/tests/swtbot/EmfParsleySWTBotAbstractTests.java
+++ b/tests/org.eclipse.emf.parsley.tests.swtbot/src/org/eclipse/emf/parsley/tests/swtbot/EmfParsleySWTBotAbstractTests.java
@@ -1214,11 +1214,17 @@ protected void waitForShellToClose(SWTBotShell shell) {
 	}
 
 	protected void undo(final String undoText) {
-		editMenu().menu("Undo " + undoText).click();
+		// looks like, at least in 2023-09, the Undo menu of menu's Edit
+		// does not show the description label anymore
+		// https://www.eclipse.org/forums/index.php/t/1113985/
+		// editMenu().menu("Undo " + undoText).click();
+		editMenu().menu("Undo").click();
 	}
 
 	protected void redo(final String undoText) {
-		editMenu().menu("Redo " + undoText).click();
+		// see the comment above
+		// editMenu().menu("Redo " + undoText).click();
+		editMenu().menu("Redo").click();
 	}
 
 	protected SWTBotText undoShortcut(SWTBotText text) {