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 eff09dd7..51f4fb7c 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1873,10 +1873,10 @@ The default value is @code{nil}. Sometimes during script management, there is no response from the proof assistant to some command. In this case you might like the empty response window to be hidden so you have more room to see the proof -script. The setting @code{proof-auto-delete-windows} helps you do this. +script. The setting @code{proof-delete-empty-windows} helps you do this. -@c TEXI DOCSTRING MAGIC: proof-auto-delete-windows -@defopt proof-auto-delete-windows +@c TEXI DOCSTRING MAGIC: proof-delete-empty-windows +@defopt proof-delete-empty-windows If non-nil, automatically remove windows when they are cleaned.@* For example, at the end of a proof the goals buffer window will be cleared; if this flag is set it will automatically be removed. @@ -1904,7 +1904,7 @@ the goals and response buffers, by altering the Emacs variable The default value is @code{nil}. @end defopt -Multiple frames work best when @code{proof-auto-delete-windows} is off +Multiple frames work best when @code{proof-delete-empty-windows} is off and @code{proof-dont-switch-windows} is on. |