diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-27 17:41:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-27 17:41:43 +0000 |
| commit | 1528843b7d9c3d2f8234651ab8d94dd8a0148712 (patch) | |
| tree | 9ef57683095f13d457303b5d253d85c0f6e45bf7 /doc | |
| parent | 5bf9b8a467451aa5177647abbbab4bb8cfac7a6f (diff) | |
Update magic
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 02498028..852d3e74 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2640,14 +2640,25 @@ If in three window or multiple frame mode, display two buffers. The idea of this function is to change the window->buffer mapping without adjusting window layout. @end deffn + @c TEXI DOCSTRING MAGIC: proof-layout-windows +@deffn Command proof-layout-windows &optional nohorizontalsplit +Refresh the display of windows according to current display mode. + +For single frame mode, this uses a canonical layout made by splitting +Emacs windows vertically in equal proportions. You can then adjust +the proportions by dragging the separating bars. In three pane mode, +the canonical layout is to split both horizontally and vertically, to +display the prover responses in two panes on the right-hand side, and +the proof script in a taller pane on the left. A prefix argument will +prevent the horizontal split, and result in three windows spanning the +full width of the Emacs frame. + +For multiple frame mode, this function obeys the setting of +@samp{@code{proof-eagerly-raise}}, which see. +@end deffn -@deffn Command proof-layout-windows -Refresh the display of windows according to current display mode.@* -This uses a canonical layout. -It obeys the setting of @samp{@code{proof-eagerly-raise}} for multiple frame mode. -@end deffn @node User options @section User options @c Index entries for each option 'concept' |