diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-10 10:59:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-10 10:59:30 +0000 |
| commit | bb29430d1c69ae8ae19127c8ea338b3070139e9d (patch) | |
| tree | 07b99d25d61a3824640b76000916bb4cade07889 /generic/proof-toolbar.el | |
| parent | 64810e77133470531a3423c383fee9209cf652f2 (diff) | |
Changed name of proof-toolbar-inhibit variable for uniformity.
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index c840e90f..c767648c 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -110,7 +110,7 @@ to the default toolbar." (interactive) (if (featurep 'toolbar) ; won't work in FSF Emacs (if (and - proof-toolbar-wanted + (not proof-toolbar-inhibit) ;; NB for FSFmacs use window-system, not console-type (eq (console-type) 'x)) (let |