diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 15:37:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 15:37:13 +0000 |
| commit | 23792ca17ac646eadf08c7be62ccda7767002449 (patch) | |
| tree | 67f890878a7adefefe15180d2a98d9b1a77c0dc2 /generic/proof-toolbar.el | |
| parent | 677e94838915dd4cacd3ad70c5da90b3730eddbc (diff) | |
More hacks to variable names for customize (sorry)
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 84a09dad..2686ccb3 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -36,7 +36,7 @@ prover specific buttons, see proof-toolbar.el.") (proof-toolbar-restart-icon "restart")) "List of icon variable names and their associated image files. A list of lists of the form (VAR IMAGE). IMAGE is the root name -for an image file in proof-internal-images-directory. The toolbar +for an image file in proof-images-directory. The toolbar code expects to find files IMAGE.xbm, IMAGE.xpm, IMAGE.8bit.xpm and chooses the best one for the display properites.") @@ -82,7 +82,7 @@ to the default toolbar." (lambda (buttons) (let ((var (car buttons)) (iconfiles (mapcar (lambda (name) - (concat proof-internal-images-directory + (concat proof-images-directory name icontype)) (cdr buttons)))) (set var (toolbar-make-button-list iconfiles)))) |