diff options
| author | David Aspinall | 2011-08-23 13:42:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-08-23 13:42:11 +0000 |
| commit | 828a8002fbfbfec96b64b4db317d98af04b24007 (patch) | |
| tree | 17cc9c0f2287b4cf4bbc68daf8d5fee103ca1d19 /generic | |
| 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')
| -rw-r--r-- | generic/proof-menu.el | 4 | ||||
| -rw-r--r-- | 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)) |