branch: elpa/proof-general
commit ae7af9d7c0ee6c7a8b085b8ee33c7fec8f298be9
Author: Pierre Courtieu <[email protected]>
Commit: Pierre Courtieu <[email protected]>
Updating documentation strings about 3 columns mode.
---
generic/pg-response.el | 14 +++++++-------
generic/proof-useropts.el | 13 ++++++-------
2 files changed, 13 insertions(+), 14 deletions(-)
diff --git a/generic/pg-response.el b/generic/pg-response.el
index 339605ea480..5bea56b14c8 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -241,7 +241,7 @@ dragging the separating bars.
where the three useful buffers are displayed: scripting
buffer, goals buffer and response buffer.
- Here are the three modes:
+ The three possible modes are:
- vertical: the 3 buffers are displayed in one column.
- hybrid: 2 columns mode, left column displays scripting buffer
@@ -249,12 +249,12 @@ dragging the separating bars.
- horizontal: 3 columns mode, one for each buffer (script, goals,
response).
- By default, the display mode is automatically chosen by
- considering the current Emacs frame width: if it is smaller
- than `split-width-threshold' then vertical mode is chosen,
- otherwise if it is smaller than 1.5 * `split-width-threshold'
- then hybrid mode is chosen, finally if the frame is larger than
- 1.5 * `split-width-threshold' then the horizontal mode is chosen.
+ By default, the display mode is 'smart which automatically choses
+ between these 3 modes by considering the current Emacs frame width: if
+ it is smaller than `split-width-threshold' then vertical mode is
+ chosen, otherwise if it is smaller than 1.5 * `split-width-threshold'
+ then hybrid mode is chosen, finally if the frame is larger than 1.5 *
+ `split-width-threshold' then the horizontal mode is chosen.
You can change the value of `split-width-threshold' at your
will.
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index d14f29861eb..3839eea1f51 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -232,13 +232,12 @@ and displayed lazily. See `proof-layout-windows'."
(defcustom proof-three-window-mode-policy 'smart
"*Window splitting policy for three window mode.
-- If 'vertical then never split horizontally.
-- If 'horizontal then always have scripting buffer on the right
- and goal and response buffers on the left (one above the
- other).
-- If 'smart or anything else: 'horizontal when the window
- is wide enough and 'vertical otherwise. The width threshold
- is given by `split-width-threshold'.
+- If 'vertical forces one column mode.
+- If 'horizontal forces 3 column mode
+- If 'hybrid forces 2 columns mode
+- If 'smart or anything else: 'horizontal when the window is wide
+ enough, then hybrid if wide enough and 'vertical otherwise. The width
+ threshold is given by `split-width-threshold'.
See `proof-layout-windows'."
:type '(choice
