Implement menu checkmarking and enabling

[xboard.git] / xboard.c

diff --git a/xboard.c b/xboard.c
index 2857317..6ed7bfc 100644 (file)
--- a/xboard.c
+++ b/xboard.c
@@ -1694,9 +1694,7 @@ EnableNamedMenuItem (char *menuRef, int state)
 {
     MenuItem *item = MenuNameToItem(menuRef);
 
-#ifdef TODO_GTK
-    if(item) XtSetSensitive(item->handle, state);
-#endif
+    if(item) gtk_widget_set_sensitive(item->handle, state);
 }
 
 void