diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-08-23 13:42:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-08-23 13:42:11 +0000 |
| commit | 828a8002fbfbfec96b64b4db317d98af04b24007 (patch) | |
| tree | 17cc9c0f2287b4cf4bbc68daf8d5fee103ca1d19 /generic/proof-toolbar.el | |
| parent | 6089cb4788b4353c517d4ac1ce68c446dc2075f2 (diff) | |
Remove PG prefix from toolbar button names (needed for disambiguity in older Emacsen, displayed in Emacs 24 UI)
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 ab756e0b..7bf5dd26 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -61,7 +61,7 @@ ;; Entry format: (TOKEN MENUNAME TOOLTIP TOOLBAR-P [VISIBLE-P]) (dolist (tle tles) (let* ((token (nth 0 tle)) - (longtoken (intern (concat "pg-" (symbol-name token)))) + (longtoken (intern (symbol-name token))) (includep (nth 3 tle)) (visiblep (nth 4 tle)) (icon (proof-toolbar-icon token)) |