diff options
| author | David Aspinall | 2002-08-28 10:55:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 10:55:54 +0000 |
| commit | 7ccb0fc0e3945ec507de62c9094c58ca43555784 (patch) | |
| tree | 01d82fc9804f1f6172da9cd3ed6b5845eed463c5 /generic/proof-toolbar.el | |
| parent | 49fb1daa65bc5e3a1feaad0345fb693d15f9448f (diff) | |
Fix sloppy uses of message/concat
Diffstat (limited to 'generic/proof-toolbar.el')
| -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 |