From 7db73c18492025cbb9eb5ef0a02b583ceefb39e9 Mon Sep 17 00:00:00 2001
From: Colin Clark <colin.clark@cclark.uk>
Date: Fri, 7 Sep 2018 19:09:43 +0100
Subject: [PATCH] Change right-click menu item name

Change Edit to Plugins
---
 src/menu.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/menu.c b/src/menu.c
index fb366c5a..04ff37c1 100644
--- a/src/menu.c
+++ b/src/menu.c
@@ -116,7 +116,7 @@ GtkWidget *submenu_add_edit(GtkWidget *menu, GtkWidget **menu_item, GCallback fu
 	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);
-- 
2.20.1