Small copyedits for doc/lispref

* doc/lispref/display.texi (Scroll Bars):
* doc/lispref/modes.texi (Header Lines): Copyedits.

diff --git a/doc/lispref/ChangeLog b/doc/lispref/ChangeLog
index e481ea3314da49b1dbfee6d6ad1807114a293e94..5795a6ae0309696c299c88851bf87e4228a2c210 100644 (file)
--- a/doc/lispref/ChangeLog
+++ b/doc/lispref/ChangeLog
@@ -1,5 +1,8 @@
 2014-10-04  Glenn Morris  <rgm@gnu.org>
 
+       * display.texi (Scroll Bars):
+       * modes.texi (Header Lines): Copyedits.
+
        * buffers.texi (Buffer List):
        * display.texi (Image Descriptors, Defining Images):
        * functions.texi (Core Advising Primitives): Small fixes re @var usage.

diff --git a/doc/lispref/display.texi b/doc/lispref/display.texi
index 032d9129c883acc2f9c4be75a9cf25b6cc0bd1aa..46be5ecf3f032d7132365ca87d61dd68c66b094a 100644 (file)
--- a/doc/lispref/display.texi
+++ b/doc/lispref/display.texi
@@ -3925,9 +3925,9 @@ bar actually occupies.
 @end defun
 
 @defun window-scroll-bar-width &optional window
-This function returns the width of @var{window}'s vertical scrollbar,
-in pixels.  @var{window} must be a live window.  If @var{window} is
-@code{nil} or omitted, it will be the selected window.
+This function returns the width in pixels of @var{window}'s vertical
+scrollbar.  @var{window} must be a live window, and defaults to the
+selected window.
 @end defun
 
 If you don't specify these values for a window with

diff --git a/doc/lispref/modes.texi b/doc/lispref/modes.texi
index e23e2685a7c5f22050adf14e00f40e8c5876fd75..d67bac63b15476ae9bd9139a6daeb37798ae11e2 100644 (file)
--- a/doc/lispref/modes.texi
+++ b/doc/lispref/modes.texi
@@ -2221,13 +2221,10 @@ is the same as for @code{mode-line-format} (@pxref{Mode Line Data}).
 It is normally @code{nil}, so that ordinary buffers have no header line.
 @end defvar
 
-The function @code{window-header-line-height} returns the height of
-the header line:
-
 @defun window-header-line-height &optional window
-Return the height of @var{window}'s header line, in pixels.
-@var{window} must be a live window.  If @var{window} is @code{nil} or
-omitted, it will be the selected window.
+This function returns the height in pixels of @var{window}'s header
+line.  @var{window} must be a live window, and defaults to the
+selected window.
 @end defun
 
   A window that is just one line tall never displays a header line.  A