changeset 2829:7e126fa60a5f

Change right-click menu item name Change Edit to Plugins
author Colin Clark <colin.clark@cclark.uk>
date Fri, 07 Sep 2018 19:09:43 +0100
parents ce8f3b3e1f95
children 5d88a8dfa364
files src/menu.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/menu.c	Wed Aug 29 17:28:34 2018 +0100
+++ b/src/menu.c	Fri Sep 07 19:09:43 2018 +0100
@@ -116,7 +116,7 @@
 	GtkWidget *item;
 	GtkWidget *submenu;
 
-	item = menu_item_add(menu, _("_Edit"), NULL, NULL);
+	item = menu_item_add(menu, _("Plugins"), NULL, NULL);
 
 	submenu = gtk_menu_new();
 	g_object_set_data(G_OBJECT(submenu), "submenu_data", data);