From 2cee2215afe140af48d8407fc84c2cc01e3772db Mon Sep 17 00:00:00 2001 From: Paul Dicker Date: Sat, 29 Mar 2025 16:15:37 +0100 Subject: [PATCH] Use gtk_menu_shell_append instead of gtk_menu_bar_append --- src/menubar.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/menubar.c b/src/menubar.c index fa7909b..167c734 100644 --- a/src/menubar.c +++ b/src/menubar.c @@ -218,7 +218,7 @@ GtkWidget *GuiCreateMenuBar(GtkWidget *parent) menu_anchor = gtk_menu_item_new_with_label(_utf("menu|File")); gtk_menu_item_set_submenu(GTK_MENU_ITEM(menu_anchor), menu_strip); - gtk_menu_bar_append(GTK_MENU_BAR(menu_bar), menu_anchor); + gtk_menu_shell_append(GTK_MENU_SHELL(menu_bar), menu_anchor); /* The tools menu */ @@ -232,7 +232,7 @@ GtkWidget *GuiCreateMenuBar(GtkWidget *parent) Closure->toolMenuAnchor = menu_anchor = gtk_menu_item_new_with_label(_utf("menu|Tools")); gtk_menu_item_set_submenu(GTK_MENU_ITEM(menu_anchor), menu_strip); - gtk_menu_bar_append(GTK_MENU_BAR(menu_bar), menu_anchor); + gtk_menu_shell_append(GTK_MENU_SHELL(menu_bar), menu_anchor); /* The help menu */