Fix bug #16347 with updating redisplay of company-mode's "tooltip".
commit02013850f638520bed0d6c3f77eb9c80e0f73983
authorEli Zaretskii <eliz@gnu.org>
Sat, 11 Jan 2014 11:54:08 +0000 (11 13:54 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 11 Jan 2014 11:54:08 +0000 (11 13:54 +0200)
treef6cdda196a8864a9c67efabb8c2cd8ac10c83900
parentdc604697f8f0402396167559a83e8af7db6652a4
Fix bug #16347 with updating redisplay of company-mode's "tooltip".

 src/xdisp.c (try_window_id): Don't use this function's optimizations
 if overlays in the buffer displayed by the window have changed
 since last redisplay.
 (message_dolog): Fix indentation.
src/ChangeLog
src/xdisp.c