diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 17:06:41 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 17:06:41 +0000 |
commit | 9e66d4299fcdac8ea7f2e929d4f10b9b31d9a2b4 (patch) | |
tree | 3331f9d296cd1ddbdeff1cacdad0be1bcd40e5b0 /generic/proof-toolbar.el | |
parent | 4565e25ab7be545bee7f39b84bf8368d80e17c85 (diff) |
after-change-functions only changed locally, only for script buffers.
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index d294c053..c78f430c 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -189,8 +189,11 @@ to the default toolbar." (set-specifier default-toolbar proof-toolbar (current-buffer)) ;; Set the callback for updating the enablers (add-hook 'proof-state-change-hook 'proof-toolbar-refresh) - ;; A rather pervasive hook - (add-hook 'after-change-functions 'proof-toolbar-refresh) + ;; Also call it whenever text changes in this buffer, + ;; provided it's a script buffer. + (if (eq proof-buffer-type 'script) + (add-hook 'after-change-functions + 'proof-toolbar-refresh nil t)) ;; And the interval timer for really refreshing the toolbar (setq proof-toolbar-itimer (start-itimer "proof toolbar refresh" |