OptItem "Register...|R" "vc-register"
OptItem "Check In Changes...|I" "vc-check-in"
OptItem "Check Out for Edit|O" "vc-check-out"
- OptItem "Update local directory from repository|d" "vc-repo-update"
+ OptItem "Update Local Directory From Repository|d" "vc-repo-update"
OptItem "Revert to Repository Version|v" "vc-revert"
OptItem "Undo Last Check In|U" "vc-undo-last"
OptItem "Show History...|H" "dialog-show vclog"
Item "Move Paragraph Down|v" "paragraph-move-down"
Separator
Submenu "Text Style|S" "edit_textstyles"
+ LanguageSelector
Item "Paragraph Settings...|P" "layout-paragraph"
Separator
# Mathed b0rkage means these don't work properly
# obvious what the context is for the others)
OptItem "Increase List Depth|I" "depth-increment"
OptItem "Decrease List Depth|D" "depth-decrement"
- OptItem "Dissolve Inset|l" "inset-dissolve"
+ OptItem "Dissolve Inset" "inset-dissolve"
OptItem "TeX Code Settings...|C" "inset-settings ert"
# 'a' shortcut to match Insert entry, shouldn't clash with Table Settings
OptItem "Float Settings...|a" "inset-settings float"
Item "Unfold Math Macro|n" "math-macro-unfold"
Item "Fold Math Macro|d" "math-macro-fold"
Separator
+ Item "View Messages|g" "dialog-toggle progress"
Item "View Source|S" "dialog-toggle view-source"
ViewFormats
UpdateFormats
Item "Split View Into Left and Right Half|i" "split-view horizontal"
Item "Split View Into Upper and Lower Half|e" "split-view vertical"
Item "Close Current View|w" "close-tab-group"
- Item "Fullscreen|l" "ui-toggle fullscreen"
+ Item "Fullscreen|l" "ui-toggle fullscreen"
Submenu "Toolbars|b" "toolbars"
Separator
Documents
Item "TeX Code|X" "ert-insert"
Item "Program Listing[[Menu]]" "listing-insert"
Item "Date" "date-insert"
- OptItem "Regular Expression" "regexp-mode"
End
Menu "insert_special"
Item "Statistics...|a" "statistics"
OptItem "Check TeX|h" "buffer-chktex"
Item "TeX Information|I" "dialog-show texinfo"
+ Item "Compare...|C" "dialog-show compare"
Separator
# A LOT of applications have Tools->Prefs. Remember this
# should be rarely used - Edit menu is not a good place to