diff options
| author | David Aspinall | 2002-12-29 16:15:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-12-29 16:15:21 +0000 |
| commit | 862a3182bd773a798028b8703562dba27fc81f7a (patch) | |
| tree | 9118671f9df967c5908a64f5b0283493eada7569 /generic | |
| parent | 2af6bf1960be1e59edc3a4110a4f632e3d4ea510 (diff) | |
Add followdown mode; compat note
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")))) |