Fix repositioning of GTK windows
[xboard.git] / menus.c
diff --git a/menus.c b/menus.c
index 7a775cf..f131a68 100644 (file)
--- a/menus.c
+++ b/menus.c
@@ -1091,8 +1091,8 @@ SetMachineThinkingEnables ()
 void
 GreyRevert (Boolean grey)
 {
 void
 GreyRevert (Boolean grey)
 {
-    MarkMenuItem("Edit.Revert", !grey);
-    MarkMenuItem("Edit.Annotate", !grey);
+    EnableNamedMenuItem("Edit.Revert", !grey);
+    EnableNamedMenuItem("Edit.Annotate", !grey);
 }
 
 char *
 }
 
 char *