Updating documentation strings about 3 columns mode.

Author: Matafou

generic/pg-response.el

@@ -241,20 +241,20 @@ 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
     and right column displays the 2 others.
   - 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.

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