diff options
| author | Martin Rudalics | 2019-12-23 10:50:44 +0100 |
|---|---|---|
| committer | Martin Rudalics | 2019-12-23 10:50:44 +0100 |
| commit | 1e758530b06befc6feb44031b9f84734e2165e2e (patch) | |
| tree | 6b1a14fadbb3706656dc64f31dfe81d9656654db /src | |
| parent | 3df7d06d4187d402e4df1177461862af638d96de (diff) | |
| download | emacs-1e758530b06befc6feb44031b9f84734e2165e2e.tar.gz emacs-1e758530b06befc6feb44031b9f84734e2165e2e.zip | |
Fix documentation of implied frame resizing (Bug#38684)
* src/frame.c (frame_inhibit_implied_resize): Fix doc-string.
* doc/lispref/frames.texi (Implied Frame Resizing): Update and
rewrite section.
Diffstat (limited to 'src')
| -rw-r--r-- | src/frame.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/frame.c b/src/frame.c index df4c98c6145..0ab9613e9d9 100644 --- a/src/frame.c +++ b/src/frame.c | |||
| @@ -6272,11 +6272,11 @@ this option is t, no such resizing is done. Note that the size of | |||
| 6272 | fullscreen and maximized frames, the height of fullheight frames and the | 6272 | fullscreen and maximized frames, the height of fullheight frames and the |
| 6273 | width of fullwidth frames never change implicitly. | 6273 | width of fullwidth frames never change implicitly. |
| 6274 | 6274 | ||
| 6275 | The value of this option can be also be a list of frame parameters. In | 6275 | The value of this option can be also a list of frame parameters. In |
| 6276 | this case, resizing is inhibited when changing a parameter that appears | 6276 | this case, resizing is inhibited when changing a parameter that |
| 6277 | in that list. The parameters currently handled by this option include | 6277 | appears in that list. The parameters currently handled by this option |
| 6278 | `font', `font-backend', `internal-border-width', `menu-bar-lines', | 6278 | include `font', `font-backend', `internal-border-width', |
| 6279 | `tool-bar-lines' and `tab-bar-lines'. | 6279 | `menu-bar-lines', `tool-bar-lines' and `tab-bar-lines'. |
| 6280 | 6280 | ||
| 6281 | Changing any of the parameters `scroll-bar-width', `scroll-bar-height', | 6281 | Changing any of the parameters `scroll-bar-width', `scroll-bar-height', |
| 6282 | `vertical-scroll-bars', `horizontal-scroll-bars', `left-fringe' and | 6282 | `vertical-scroll-bars', `horizontal-scroll-bars', `left-fringe' and |