diff options
| author | David Aspinall | 1998-12-10 10:59:30 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-10 10:59:30 +0000 |
| commit | bb29430d1c69ae8ae19127c8ea338b3070139e9d (patch) | |
| tree | 07b99d25d61a3824640b76000916bb4cade07889 /doc/ProofGeneral.texi | |
| parent | 64810e77133470531a3423c383fee9209cf652f2 (diff) | |
Changed name of proof-toolbar-inhibit variable for uniformity.
Diffstat (limited to 'doc/ProofGeneral.texi')
| -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 |