--- a/ui/gtk/headerbar.c	Mon Jul 28 21:23:49 2025 +0200
+++ b/ui/gtk/headerbar.c	Mon Jul 28 21:28:43 2025 +0200
@@ -162,8 +162,9 @@
     gtk_menu_button_set_menu_model(GTK_MENU_BUTTON(menubutton), G_MENU_MODEL(menu));
 #else
     GtkWidget *menubutton = gtk_menu_button_new();
+    GtkWidget *menu = gtk_menu_new();
     
-    // TODO
+    
     
     
 #endif