diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 8 | ||||
| -rw-r--r-- | generic/proof-config.el | 4 | ||||
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
3 files changed, 7 insertions, 7 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index cdf87e6d..82d0a932 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1538,11 +1538,11 @@ The protocol used should be configured so that no user interaction The default value is @code{""}. @end defopt -@c TEXI DOCSTRING MAGIC: proof-toolbar-wanted -@defopt proof-toolbar-wanted -Whether to use toolbar in proof mode. +@c TEXI DOCSTRING MAGIC: proof-toolbar-inhibit +@defopt proof-toolbar-inhibit +Non-nil prevents toolbar being used for script buffers. -The default value is @code{t}. +The default value is @code{nil}. @end defopt diff --git a/generic/proof-config.el b/generic/proof-config.el index 1322b1a1..8fccaddb 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -72,8 +72,8 @@ :group 'proof-general) (and (featurep 'toolbar) -(defcustom proof-toolbar-wanted t - "*Whether to use toolbar in proof mode." +(defcustom proof-toolbar-inhibit nil + "*Non-nil prevents toolbar being used for script buffers." :type 'boolean :group 'proof-general)) 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 |