diff options
| -rw-r--r-- | generic/proof-toolbar.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index aff55653..ea61d1eb 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -192,6 +192,8 @@ to the default toolbar." (setq proof-toolbar (mapcar 'eval proof-toolbar-button-list)) ;; Ensure current buffer will display this toolbar (set-specifier default-toolbar proof-toolbar (current-buffer)) + (if proof-toolbar-use-button-enablers + (progn ;; Set the callback for updating the enablers (add-hook 'proof-state-change-hook 'proof-toolbar-refresh) ;; Also call it whenever text changes in this buffer, @@ -207,7 +209,9 @@ to the default toolbar." 0.5 ; repeated t ; count idle time t ; pass argument - (current-buffer)))) ; - current buffer + (current-buffer))))) ; - current buffer + ;; Attempt to refresh to display toolbar + (sit-for 0)) ;; Disabling toolbar: remove specifier, hooks, timer. (remove-specifier default-toolbar (current-buffer)) (remove-hook 'proof-state-change-hook 'proof-toolbar-refresh) |