From 1e5083927a566b673e64fe8d02efbbeeb7ef7dfb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jan 2008 12:50:01 +0000
Subject: Comments re trac #187

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

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index d9d17da3..928d2fbe 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -409,6 +409,11 @@ without adjusting window layout."
        (customize-set-variable 'proof-follow-mode 'locked)
        :style radio
        :selected (eq proof-follow-mode 'locked)]
+;; Not implemented.  See Trac #187
+;;       ["Follow On Success" 
+;;        (customize-set-variable 'proof-follow-mode 'followsuccess)
+;;        :style radio
+;;        :selected (eq proof-follow-mode 'followdown)]
       ["Follow Locked Region Down" 
        (customize-set-variable 'proof-follow-mode 'followdown)
        :style radio
-- 
cgit v1.2.3