commit ad78b02b80bd57595438a4dca164bb26e215948b
Author: Juergen Spitzmueller <[email protected]>
Date:   Fri May 31 10:58:03 2019 +0200

    Remove superfluous "Insert"
    
    This is in the "Insert" menu.
---
 lib/ui/stdmenus.inc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/lib/ui/stdmenus.inc b/lib/ui/stdmenus.inc
index dc12a7c..4c677eb 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"

Reply via email to