diff options
| author | Juanma Barranquero | 2002-07-19 11:38:35 +0000 |
|---|---|---|
| committer | Juanma Barranquero | 2002-07-19 11:38:35 +0000 |
| commit | ccfe8f572d9898c3d9d7aed57bdc6e2ea8458643 (patch) | |
| tree | 0126e6a115024a529c54886b5fa4682cbaf724b8 /src | |
| parent | bd292357c48e3edfd9bfc08df615b95baa778213 (diff) | |
| download | emacs-ccfe8f572d9898c3d9d7aed57bdc6e2ea8458643.tar.gz emacs-ccfe8f572d9898c3d9d7aed57bdc6e2ea8458643.zip | |
(syms_of_xdisp): Remove redundant deprecation info.
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 75189408d13..38457c569de 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -15334,9 +15334,7 @@ of the top or bottom of the window. */); | |||
| 15334 | DEFVAR_BOOL ("mode-line-inverse-video", &mode_line_inverse_video, | 15334 | DEFVAR_BOOL ("mode-line-inverse-video", &mode_line_inverse_video, |
| 15335 | doc: /* nil means display the mode-line/header-line/menu-bar in the default face. | 15335 | doc: /* nil means display the mode-line/header-line/menu-bar in the default face. |
| 15336 | Any other value means to use the appropriate face, `mode-line', | 15336 | Any other value means to use the appropriate face, `mode-line', |
| 15337 | `header-line', or `menu' respectively. | 15337 | `header-line', or `menu' respectively. */); |
| 15338 | |||
| 15339 | This variable is deprecated; please change the above faces instead. */); | ||
| 15340 | mode_line_inverse_video = 1; | 15338 | mode_line_inverse_video = 1; |
| 15341 | 15339 | ||
| 15342 | DEFVAR_LISP ("line-number-display-limit", &Vline_number_display_limit, | 15340 | DEFVAR_LISP ("line-number-display-limit", &Vline_number_display_limit, |