diff options
| -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) |