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-menu.el | 4 ++-- generic/proof-toolbar.el | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 526673ee..86352f87 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -226,8 +226,8 @@ without adjusting window layout." (defvar proof-help-menu '("Help" ["About PG" proof-splash-display-screen t] - ["PG Info" (info "ProofGeneral") t] - ["PG Homepage" (browse-url proof-general-home-page) t] + ["Info" (info "ProofGeneral") t] + ["Homepage" (browse-url proof-general-home-page) t] ["Send Bug Report" proof-submit-bug-report t]) "Proof General help menu.") 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