diff options
| author | Lars Ingebrigtsen | 2022-05-11 17:51:05 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2022-05-11 17:51:05 +0200 |
| commit | 3bc34ef635734f72abd584fe3c8a6b3dea76f656 (patch) | |
| tree | 37f2b032d40b6f7009899816039775235420a2ea | |
| parent | 43b7759b093cb6b10dd0d4dcb2aff72212b6070d (diff) | |
| download | emacs-3bc34ef635734f72abd584fe3c8a6b3dea76f656.tar.gz emacs-3bc34ef635734f72abd584fe3c8a6b3dea76f656.zip | |
Clarify precedence rules in Active Display Table manual node
* doc/lispref/display.texi (Active Display Table): Say what "takes
precedence" means here (bug#18546).
| -rw-r--r-- | doc/lispref/display.texi | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/lispref/display.texi b/doc/lispref/display.texi index 9650d227909..0ab683d234d 100644 --- a/doc/lispref/display.texi +++ b/doc/lispref/display.texi | |||
| @@ -8228,7 +8228,10 @@ help buffer. | |||
| 8228 | The window's display table, if there is one, takes precedence over the | 8228 | The window's display table, if there is one, takes precedence over the |
| 8229 | buffer's display table. If neither exists, Emacs tries to use the | 8229 | buffer's display table. If neither exists, Emacs tries to use the |
| 8230 | standard display table; if that is @code{nil}, Emacs uses the usual | 8230 | standard display table; if that is @code{nil}, Emacs uses the usual |
| 8231 | character display conventions (@pxref{Usual Display}). | 8231 | character display conventions (@pxref{Usual Display}). (Emacs does |
| 8232 | not ``merge'' display tables: For instance, if the window has a | ||
| 8233 | display table, the buffer's display table and the standard display | ||
| 8234 | table are completely ignored.) | ||
| 8232 | 8235 | ||
| 8233 | Note that display tables affect how the mode line is displayed, so | 8236 | Note that display tables affect how the mode line is displayed, so |
| 8234 | if you want to force redisplay of the mode line using a new display | 8237 | if you want to force redisplay of the mode line using a new display |