diff options
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/window.h | 5 |
2 files changed, 4 insertions, 5 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 5b3d4c77485..8697e70d51d 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2012-05-24 Dmitry Antipov <dmantipov@yandex.ru> + + * window.h (clip_changed): Remove useless declaration. + 2012-05-22 Juanma Barranquero <lekktu@gmail.com> * makefile.w32-in: Follow-up to 2012-05-22T16:20:27Z!eggert@cs.ucla.edu. diff --git a/src/window.h b/src/window.h index ea127ca95a8..1524805579f 100644 --- a/src/window.h +++ b/src/window.h @@ -852,11 +852,6 @@ extern EMACS_INT minibuf_level; extern int update_mode_lines; -/* Nonzero if BEGV - BEG or Z - ZV of current buffer has changed since - last redisplay that finished. */ - -extern int clip_changed; - /* Nonzero if window sizes or contents have changed since last redisplay that finished */ |