From b89b7d0e50d1774ea48baab9b6399c63a15de74b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Lesimple?= Date: Sat, 3 May 2025 10:56:26 +0200 Subject: [PATCH] chore: remove the TODO menu for our version --- src/menubar.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/menubar.c b/src/menubar.c index 406430e..30f0bfd 100644 --- a/src/menubar.c +++ b/src/menubar.c @@ -249,7 +249,10 @@ GtkWidget *GuiCreateMenuBar(GtkWidget *parent) add_menu_separator(menu_strip); add_menu_button(menu_strip, _("menu|Change log"), MENU_HELP_CHANGELOG); - add_menu_button(menu_strip, _("menu|To do list"), MENU_HELP_TODO); + + /* Hide the todo list menu in the patchlevel series, as we're not upstream + * add_menu_button(menu_strip, _("menu|To do list"), MENU_HELP_TODO); + */ menu_anchor = gtk_menu_item_new_with_label(_utf("menu|Help")); gtk_menu_item_set_submenu(GTK_MENU_ITEM(menu_anchor), menu_strip);