diff options
| -rw-r--r-- | generic/proof-toolbar.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 876b8b93..ba28c3a5 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -110,7 +110,10 @@ back the default toolbar." (when (not proof-toolbar-enable) (kill-local-variable 'tool-bar-map))))) -(defalias 'proof-toolbar-enable 'proof-toolbar-setup) +(defun proof-toolbar-enable () + (proof-toolbar-setup) + ;; make sure changes show up (any neater way?) + (redraw-display)) ;;;###autoload (autoload 'proof-toolbar-toggle "proof-toolbar") (proof-deftoggle proof-toolbar-enable proof-toolbar-toggle) |