--- a/ui/gtk/menu.c	Sun Feb 11 15:44:33 2024 +0100
+++ b/ui/gtk/menu.c	Sun Feb 11 22:06:23 2024 +0100
@@ -76,6 +76,12 @@
 }
 
 void add_menu_widget(GtkWidget *parent, int i, UiMenuItemI *item, UiObject *obj) {
+    // TODO
+}
+
+#ifdef DEPRECATED_TOOLKIT
+
+void add_menu_widget(GtkWidget *parent, int i, UiMenuItemI *item, UiObject *obj) {
     UiMenu *menu = (UiMenu*)item;
     
     GtkWidget *menu_widget = gtk_menu_new();
@@ -472,3 +478,5 @@
         cxListDestroy(groups);
     }
 }
+
+#endif