diff options
| author | Kim F. Storm | 2004-02-12 12:21:52 +0000 |
|---|---|---|
| committer | Kim F. Storm | 2004-02-12 12:21:52 +0000 |
| commit | 479dbc9dfe6880b38bc1ecb665f26bde906f740f (patch) | |
| tree | 32d711c4f83c67489045c1ba419fbcc5351ece81 | |
| parent | 9d7271e8a8bce40a8d7c8a086e09dfd9ca4d71d1 (diff) | |
| download | emacs-479dbc9dfe6880b38bc1ecb665f26bde906f740f.tar.gz emacs-479dbc9dfe6880b38bc1ecb665f26bde906f740f.zip | |
(Fringes): Use consistent wording.
Note that window-fringe's window arg is optional.
(Scroll Bars): Use consistent wording.
| -rw-r--r-- | lispref/display.texi | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/lispref/display.texi b/lispref/display.texi index 3294b16d146..54ba32c39da 100644 --- a/lispref/display.texi +++ b/lispref/display.texi | |||
| @@ -2563,7 +2563,7 @@ you can call @code{set-window-buffer} to display it in a window again. | |||
| 2563 | 2563 | ||
| 2564 | @defun set-window-fringes window left &optional right outside-margins | 2564 | @defun set-window-fringes window left &optional right outside-margins |
| 2565 | This function sets the fringe widthes of window @var{window}. | 2565 | This function sets the fringe widthes of window @var{window}. |
| 2566 | If window is @code{nil}, that stands for the selected window. | 2566 | If @var{window} is @code{nil}, the selected window is used. |
| 2567 | 2567 | ||
| 2568 | The argument @var{left} specifies the width in pixels of the left | 2568 | The argument @var{left} specifies the width in pixels of the left |
| 2569 | fringe, and likewise @var{right} for the right fringe. A value of | 2569 | fringe, and likewise @var{right} for the right fringe. A value of |
| @@ -2572,9 +2572,10 @@ fringe, and likewise @var{right} for the right fringe. A value of | |||
| 2572 | should appear outside of the display margins. | 2572 | should appear outside of the display margins. |
| 2573 | @end defun | 2573 | @end defun |
| 2574 | 2574 | ||
| 2575 | @defun window-fringes window | 2575 | @defun window-fringes &optional window |
| 2576 | This function returns information about the fringes of a window | 2576 | This function returns information about the fringes of a window |
| 2577 | @var{window}. The value has the form @code{(@var{left-width} | 2577 | @var{window}. If @var{window} is omitted or @code{nil}, the selected |
| 2578 | window is used. The value has the form @code{(@var{left-width} | ||
| 2578 | @var{right-width} @var{frames-outside-margins})}. | 2579 | @var{right-width} @var{frames-outside-margins})}. |
| 2579 | @end defun | 2580 | @end defun |
| 2580 | 2581 | ||
| @@ -2591,8 +2592,8 @@ You can also control this for individual windows. Call the function | |||
| 2591 | @code{set-window-scroll-bars} to specify what to do for a specific window: | 2592 | @code{set-window-scroll-bars} to specify what to do for a specific window: |
| 2592 | 2593 | ||
| 2593 | @defun set-window-scroll-bars window width &optional vertical-type horizontal-type | 2594 | @defun set-window-scroll-bars window width &optional vertical-type horizontal-type |
| 2594 | Set width and type of scroll bars of window @var{window}. (If | 2595 | Set width and type of scroll bars of window @var{window}. |
| 2595 | @var{window} is @code{nil}, this applies to the selected window.) | 2596 | If @var{window} is @code{nil}, the selected window is used. |
| 2596 | @var{width} specifies the scroll bar width in pixels (@code{nil} means | 2597 | @var{width} specifies the scroll bar width in pixels (@code{nil} means |
| 2597 | use whatever is specified for width for the frame). | 2598 | use whatever is specified for width for the frame). |
| 2598 | @var{vertical-type} specifies whether to have a vertical scroll bar | 2599 | @var{vertical-type} specifies whether to have a vertical scroll bar |
| @@ -2607,8 +2608,8 @@ implemented, it has no effect. | |||
| 2607 | 2608 | ||
| 2608 | @defun window-scroll-bars &optional window | 2609 | @defun window-scroll-bars &optional window |
| 2609 | Report the width and type of scroll bars specified for @var{window}. | 2610 | Report the width and type of scroll bars specified for @var{window}. |
| 2610 | If @var{window} is omitted or @code{nil}, it defaults to the currently | 2611 | If @var{window} is omitted or @code{nil}, the selected window is used. |
| 2611 | selected window. The value is a list of the form @code{(@var{width} | 2612 | The value is a list of the form @code{(@var{width} |
| 2612 | @var{cols} @var{vertical-type} @var{horizontal-type})}. The value | 2613 | @var{cols} @var{vertical-type} @var{horizontal-type})}. The value |
| 2613 | @var{width} is the value that was specified for the width (which may | 2614 | @var{width} is the value that was specified for the width (which may |
| 2614 | be @code{nil}); @var{cols} is the number of columns that the scroll | 2615 | be @code{nil}); @var{cols} is the number of columns that the scroll |