diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 00:38:03 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 00:38:03 +0000 |
commit | 6d9da94bccc8c05ec4925b5591e9c8cc41b85f75 (patch) | |
tree | d20e1b1881fdb9399c40ea0dce7f36bc2aef57d1 | |
parent | 40bf959e5e42d155cae46871c54bc29ad2d1b4e1 (diff) |
proof-toolbar-setup: redraw-display
-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) |