diff options
| author | Eli Zaretskii | 2011-12-03 15:32:29 +0200 |
|---|---|---|
| committer | Eli Zaretskii | 2011-12-03 15:32:29 +0200 |
| commit | 6fdebe937101d3a09a9f95f5c3470b8bf7812b5e (patch) | |
| tree | 9e01fd43ef385f6aa8a4ac3d56ebe997d3c24a7d | |
| parent | b902223709b0037490d74b2b6c57e77930c5f114 (diff) | |
| download | emacs-6fdebe937101d3a09a9f95f5c3470b8bf7812b5e.tar.gz emacs-6fdebe937101d3a09a9f95f5c3470b8bf7812b5e.zip | |
Minor doc fixes in doc/emacs/display.texi.
doc/emacs/display.texi (Auto Scrolling): More accurate description of what
scroll-*-aggressively does, including the effect of non-zero
margin. Fix "i.e." markup.
| -rw-r--r-- | doc/emacs/ChangeLog | 6 | ||||
| -rw-r--r-- | doc/emacs/display.texi | 32 |
2 files changed, 25 insertions, 13 deletions
diff --git a/doc/emacs/ChangeLog b/doc/emacs/ChangeLog index d7bcb28b500..5c3699a8098 100644 --- a/doc/emacs/ChangeLog +++ b/doc/emacs/ChangeLog | |||
| @@ -1,3 +1,9 @@ | |||
| 1 | 2011-12-03 Eli Zaretskii <eliz@gnu.org> | ||
| 2 | |||
| 3 | * display.texi (Auto Scrolling): More accurate description of what | ||
| 4 | scroll-*-aggressively does, including the effect of non-zero | ||
| 5 | margin. Fix "i.e." markup. | ||
| 6 | |||
| 1 | 2011-12-02 Chong Yidong <cyd@gnu.org> | 7 | 2011-12-02 Chong Yidong <cyd@gnu.org> |
| 2 | 8 | ||
| 3 | * text.texi (Pages): Mention how formfeed chars are displayed. | 9 | * text.texi (Pages): Mention how formfeed chars are displayed. |
diff --git a/doc/emacs/display.texi b/doc/emacs/display.texi index 88b2758828e..9d928d02452 100644 --- a/doc/emacs/display.texi +++ b/doc/emacs/display.texi | |||
| @@ -238,26 +238,32 @@ centered after scrolling. | |||
| 238 | @cindex aggressive scrolling | 238 | @cindex aggressive scrolling |
| 239 | @vindex scroll-up-aggressively | 239 | @vindex scroll-up-aggressively |
| 240 | @vindex scroll-down-aggressively | 240 | @vindex scroll-down-aggressively |
| 241 | When the window does scroll by a longer distance, you can control | 241 | When the window does scroll by a distance longer than |
| 242 | how aggressively it scrolls by setting the variables | 242 | @code{scroll-step}, you can control how aggressively it scrolls by |
| 243 | @code{scroll-up-aggressively} and @code{scroll-down-aggressively}. | 243 | setting the variables @code{scroll-up-aggressively} and |
| 244 | The value of @code{scroll-up-aggressively} should be either | 244 | @code{scroll-down-aggressively}. The value of |
| 245 | @code{nil}, or a fraction @var{f} between 0 and 1. A fraction | 245 | @code{scroll-up-aggressively} should be either @code{nil}, or a |
| 246 | specifies where on the screen to put point when scrolling upward, | 246 | fraction @var{f} between 0 and 1. A fraction specifies where on the |
| 247 | i.e. forward. When point goes off the window end, the new start | 247 | screen to put point when scrolling upward, i.e.@: forward. When point |
| 248 | position is chosen to put point @var{f} parts of the window height | 248 | goes off the window end, the new start position is chosen to put point |
| 249 | from the bottom. Thus, larger @var{f} means more aggressive | 249 | @var{f} parts of the window height from the bottom margin. Thus, |
| 250 | scrolling: more new text is brought into view. The default value, | 250 | larger @var{f} means more aggressive scrolling: more new text is |
| 251 | @code{nil}, is equivalent to 0.5. | 251 | brought into view. The default value, @code{nil}, is equivalent to |
| 252 | 0.5. | ||
| 252 | 253 | ||
| 253 | Likewise, @code{scroll-down-aggressively} is used for scrolling | 254 | Likewise, @code{scroll-down-aggressively} is used for scrolling |
| 254 | down, i.e. backward. The value specifies how far point should be | 255 | down, i.e.@: backward. The value specifies how far point should be |
| 255 | placed from the top of the window; thus, as with | 256 | placed from the top margin of the window; thus, as with |
| 256 | @code{scroll-up-aggressively}, a larger value is more aggressive. | 257 | @code{scroll-up-aggressively}, a larger value is more aggressive. |
| 257 | 258 | ||
| 258 | These two variables are ignored if either @code{scroll-step} or | 259 | These two variables are ignored if either @code{scroll-step} or |
| 259 | @code{scroll-conservatively} are set to a non-zero value. | 260 | @code{scroll-conservatively} are set to a non-zero value. |
| 260 | 261 | ||
| 262 | Note that @code{scroll-margin}, described below, limits the amount | ||
| 263 | of scrolling so as to put point outside of the top or bottom margin, | ||
| 264 | even if aggressive scrolling specifies a fraction @var{f} that is | ||
| 265 | larger than the window portion between the top and the bottom margins. | ||
| 266 | |||
| 261 | @vindex scroll-margin | 267 | @vindex scroll-margin |
| 262 | The variable @code{scroll-margin} restricts how close point can come | 268 | The variable @code{scroll-margin} restricts how close point can come |
| 263 | to the top or bottom of a window. Its value is a number of screen | 269 | to the top or bottom of a window. Its value is a number of screen |