From 28a4a9fb442b5274a24cc4bf7696afa554eff1c4 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Fri, 31 May 2019 10:58:03 +0200 Subject: [PATCH] Remove superfluous "Insert" This is in the "Insert" menu. --- lib/ui/stdmenus.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/ui/stdmenus.inc b/lib/ui/stdmenus.inc index dc12a7ccbc..4c677ebdbd 100644 --- a/lib/ui/stdmenus.inc +++ b/lib/ui/stdmenus.inc @@ -384,7 +384,7 @@ Menuset Submenu "Custom Insets" "insert_custom" Submenu "File|e" "insert_file" Submenu "Box[[Menu]]|x" "insert_box" - OptSubmenu "Insert Regular Expression" "context-edit-regexp" + OptSubmenu "Regular Expression" "context-edit-regexp" Separator Item "Citation...|C" "dialog-show-new-inset citation" Item "Cross-Reference...|R" "dialog-show-new-inset ref" -- 2.39.5