diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index a75643a6..a994c5c4 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1868,6 +1868,14 @@ displayed in a fixed place on your screen and in a certain font, for example. A convenient way to do this is via the user option @c TEXI DOCSTRING MAGIC: proof-multiple-frames-enable +@defopt proof-multiple-frames-enable +Whether response and goals buffers have separate frames.@* +If non-nil, Emacs will make separate frames (screen windows) for +the goals and response buffers, by altering the Emacs variable +@samp{@code{special-display-regexps}}. + +The default value is @code{nil}. +@end defopt Multiple frames work best when @code{proof-auto-delete-windows} is off and @code{proof-dont-switch-windows} is on. |