Add environment-split to the menu

diff --git a/lib/ui/stdmenus.inc b/lib/ui/stdmenus.inc
index 323085d6b18c2773b49093fdcbcdcac3fde06cb5..85a2555b8c8741781573ec5727d6d2e20c69b424 100644 (file)
--- a/lib/ui/stdmenus.inc
+++ b/lib/ui/stdmenus.inc
@@ -148,6 +148,7 @@ Menuset
 # This is in the Table submenu instead for now.
 #      OptItem "Table Settings...|a" "inset-settings tabular"
                OptItem "Table Settings...|a" "layout-tabular"
+               OptItem "Split Environment|l" "environment-split"
        End
 
        Menu "edit_paste"