From 862a3182bd773a798028b8703562dba27fc81f7a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 29 Dec 2002 16:15:21 +0000
Subject: Add followdown mode; compat note

---
 generic/proof-menu.el | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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"))))
-- 
cgit v1.2.3