diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 9baeadeb..aa658bf3 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -112,7 +112,7 @@ (interactive) (if (,enabler) (call-interactively (quote ,buttonfn)) - (message ,(concat "Button \"" menuname "\" disabled"))))) + (message "Button \"%s\" disabled" ,menuname)))) buttonfnwe))) (if tooltip ;; no tooltip means menu-only item (if proof-running-on-XEmacs |