From 79a0e67cdc9d3783d2a89a1108a8153c0b912a44 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Nov 1999 18:23:42 +0000
Subject: Rearrange comments.

---
 generic/proof-toolbar.el | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 8cc94923..04bd3175 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -289,12 +289,15 @@ changed state."
 ;;
 
 (defun proof-toolbar-goto-enable-p ()
-  t)  ;; we don't want to update the toolbar on every movement of point
-;  (and
-;   (not (equal (point) (proof-locked-end))) ; bug in powtlrp
-;   (or
-;    (< (point) (proof-locked-end))
-;    (not (proof-only-whitespace-to-locked-region-p)))))
+  ;; we don't want to update the toolbar on every movement of point
+  ;; so no test here.
+  ;;  (and
+  ;;   (not (equal (point) (proof-locked-end))) ; bug in powtlrp
+  ;;   (or
+  ;;    (< (point) (proof-locked-end))
+  ;;    (not (save-excursion
+  ;;          (proof-only-whitespace-to-locked-region-p))))))
+  t)  
 
 (defalias 'proof-toolbar-goto 'proof-goto-point)
 
-- 
cgit v1.2.3