From e2634d919744b2397d1cccfd01ea78efdad76303 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Fri, 3 Oct 2014 23:45:19 -0700 Subject: [PATCH] Small copyedits for doc/lispref * doc/lispref/display.texi (Scroll Bars): * doc/lispref/modes.texi (Header Lines): Copyedits. --- doc/lispref/ChangeLog | 3 +++ doc/lispref/display.texi | 6 +++--- doc/lispref/modes.texi | 9 +++------ 3 files changed, 9 insertions(+), 9 deletions(-) diff --git a/doc/lispref/ChangeLog b/doc/lispref/ChangeLog index e481ea3314..5795a6ae03 100644 --- a/doc/lispref/ChangeLog +++ b/doc/lispref/ChangeLog @@ -1,5 +1,8 @@ 2014-10-04 Glenn Morris + * 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 032d9129c8..46be5ecf3f 100644 --- 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 e23e2685a7..d67bac63b1 100644 --- 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 -- 2.39.2