From 828a8002fbfbfec96b64b4db317d98af04b24007 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Aug 2011 13:42:11 +0000
Subject: Remove PG prefix from toolbar button names (needed for disambiguity
 in older Emacsen, displayed in Emacs 24 UI)

---
 generic/proof-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-toolbar.el')

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))
-- 
cgit v1.2.3