diff options
author | 1999-11-19 19:22:41 +0000 | |
---|---|---|
committer | 1999-11-19 19:22:41 +0000 | |
commit | 876a8eedac454a2e0e54a476eee70b58be36ddec (patch) | |
tree | bbfeb1aea6dedefdc09851cf19449987c0785a6c /doc | |
parent | ec3de09bdb3b3ddb6504232609a4a7b8c46cce78 (diff) |
Magic updated
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. |