diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 8 |
1 files changed, 4 insertions, 4 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 |