diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 0970a393..9f149e1b 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -298,6 +298,10 @@ If in three window or multiple frame mode, display two buffers." (customize-set-variable 'proof-follow-mode 'locked) :style radio :selected (eq proof-follow-mode 'locked)] + ["Follow Locked Region Down" + (customize-set-variable 'proof-follow-mode 'followdown) + :style radio + :selected (eq proof-follow-mode 'followdown)] ["Keep Locked Region Displayed" (customize-set-variable 'proof-follow-mode 'follow) :style radio @@ -366,7 +370,9 @@ If in three window or multiple frame mode, display two buffers." proof-show-hide-menu (list "-----") ;; NB: customize-menu-create was buggy in earlier - ;; Emacs 21.X; okay since 21.1.1 + ;; Emacs 21.X; okay since 21.1.1. + ;; Oops: buggy again in 21.2.1, argh! + ;; See proof-compat. (list (customize-menu-create 'proof-general)) (list (customize-menu-create 'proof-general-internals "Internals")))) |