diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 15:03:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 15:03:20 +0000 |
| commit | e11662b4c4586a1bbb9c88a20e996ef4e2ff1c85 (patch) | |
| tree | 1b70c0a140e0339f1624123c1b024dcd8136d1f6 | |
| parent | 2ac41fbbaf8ed8dea1cd44f461e4fc4e9c990da1 (diff) | |
Comments.
| -rw-r--r-- | generic/proof-toolbar.el | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 8825a66f..9fd9a867 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -194,9 +194,8 @@ to the default toolbar." (proof-toolbar-button-list ;; A toolbar descriptor evaluated in proof-toolbar-setup. ;; Specifically, a list of sexps which evaluate to entries in - ;; a toolbar descriptor. The default value - ;; proof-toolbar-default-button-list will work for any proof - ;; assistant. + ;; a toolbar descriptor. The default + ;; `proof-toolbar-default-button-list' works for prover. (append (apply 'append (mapcar 'proof-toolbar-make-toolbar-item (proof-ass toolbar-entries))) @@ -210,17 +209,16 @@ to the default toolbar." (let ((var (car buttons)) (iconfiles (mapcar (lambda (name) - (concat proof-images-directory - "pg-" ;; added 1.3.04 to avoid Emacs clashes + (concat proof-images-directory "pg-" name icontype)) (cdr buttons)))) (set var (if proof-running-on-XEmacs ;; On XEmacs, icon variable holds a list of glyphs (toolbar-make-button-list iconfiles) - ;; On GNU emacs, it holds a filename for the icon, - ;; without path or extension. Warning! This - ;; can lead to name clashes with other packages. + ;; On GNU Emacs, it holds a filename for the icon, + ;; without path or extension. Watch for clashes with + ;; other packages! (concat "pg-" (eval (cadr buttons))))))) proof-toolbar-icon-list) |