diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-23 18:23:42 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-23 18:23:42 +0000 |
commit | 79a0e67cdc9d3783d2a89a1108a8153c0b912a44 (patch) | |
tree | 9ec7222381bbbd6be0b195099e79ff15320513bc /generic/proof-toolbar.el | |
parent | 94c6cdc87ce296de4682940977b289d8f87a2e5e (diff) |
Rearrange comments.
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 15 |
1 files 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) |