diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-11-13 08:01:12 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-11-13 08:01:12 +0000 |
commit | 06b2407614a9f81795e47d2710826d0973edbaf1 (patch) | |
tree | 1f4b3d560efab31d3d12657fbc6ef94a1f00e598 /generic/proof-useropts.el | |
parent | 40011e8fc1d6eafcc7dc9b1c43e22afbaeb98d6f (diff) |
small typo fixes
Diffstat (limited to 'generic/proof-useropts.el')
-rw-r--r-- | generic/proof-useropts.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index 664ee640..b2cbb97a 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -183,8 +183,8 @@ and displayed lazily. See `proof-layout-windows'." - 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 means: 'horizontal when the window - is wide enough and horizontally otherwise. The widht threshold +- If 'smart or anything else: 'horizontal when the window + is wide enough and 'vertical otherwise. The width threshold is given by `split-width-threshold'. See `proof-layout-windows'." |