diff options
| author | Eli Zaretskii | 2014-01-11 13:54:08 +0200 |
|---|---|---|
| committer | Eli Zaretskii | 2014-01-11 13:54:08 +0200 |
| commit | 02013850f638520bed0d6c3f77eb9c80e0f73983 (patch) | |
| tree | f6cdda196a8864a9c67efabb8c2cd8ac10c83900 /src | |
| parent | dc604697f8f0402396167559a83e8af7db6652a4 (diff) | |
| download | emacs-02013850f638520bed0d6c3f77eb9c80e0f73983.tar.gz emacs-02013850f638520bed0d6c3f77eb9c80e0f73983.zip | |
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.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 7 | ||||
| -rw-r--r-- | src/xdisp.c | 8 |
2 files changed, 14 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index f258f38afbb..556fcce5fa5 100644 --- a/src/ChangeLog +++ b/src/ChangeLog | |||
| @@ -1,3 +1,10 @@ | |||
| 1 | 2014-01-11 Eli Zaretskii <eliz@gnu.org> | ||
| 2 | |||
| 3 | * xdisp.c (try_window_id): Don't use this function's optimizations | ||
| 4 | if overlays in the buffer displayed by the window have changed | ||
| 5 | since last redisplay. (Bug#16347) | ||
| 6 | (message_dolog): Fix indentation. | ||
| 7 | |||
| 1 | 2014-01-11 Martin Rudalics <rudalics@gmx.at> | 8 | 2014-01-11 Martin Rudalics <rudalics@gmx.at> |
| 2 | 9 | ||
| 3 | * frame.c (frame_resize_pixelwise): Fix doc-string. | 10 | * frame.c (frame_resize_pixelwise): Fix doc-string. |
diff --git a/src/xdisp.c b/src/xdisp.c index 99471d1df19..8efe3492db0 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -9854,7 +9854,7 @@ message_dolog (const char *m, ptrdiff_t nbytes, bool nlflag, bool multibyte) | |||
| 9854 | incrementing windows_or_buffers_changed even if *Messages* is | 9854 | incrementing windows_or_buffers_changed even if *Messages* is |
| 9855 | shown in some window. So we must manually set | 9855 | shown in some window. So we must manually set |
| 9856 | windows_or_buffers_changed here to make up for that. */ | 9856 | windows_or_buffers_changed here to make up for that. */ |
| 9857 | windows_or_buffers_changed = old_windows_or_buffers_changed; | 9857 | windows_or_buffers_changed = old_windows_or_buffers_changed; |
| 9858 | bset_redisplay (current_buffer); | 9858 | bset_redisplay (current_buffer); |
| 9859 | 9859 | ||
| 9860 | set_buffer_internal (oldbuf); | 9860 | set_buffer_internal (oldbuf); |
| @@ -17417,6 +17417,12 @@ try_window_id (struct window *w) | |||
| 17417 | if (windows_or_buffers_changed || f->cursor_type_changed) | 17417 | if (windows_or_buffers_changed || f->cursor_type_changed) |
| 17418 | GIVE_UP (2); | 17418 | GIVE_UP (2); |
| 17419 | 17419 | ||
| 17420 | /* This function's optimizations cannot be used if overlays have | ||
| 17421 | changed in the buffer displayed by the window, so give up if they | ||
| 17422 | have. */ | ||
| 17423 | if (w->last_overlay_modified != OVERLAY_MODIFF) | ||
| 17424 | GIVE_UP (21); | ||
| 17425 | |||
| 17420 | /* Verify that narrowing has not changed. | 17426 | /* Verify that narrowing has not changed. |
| 17421 | Also verify that we were not told to prevent redisplay optimizations. | 17427 | Also verify that we were not told to prevent redisplay optimizations. |
| 17422 | It would be nice to further | 17428 | It would be nice to further |