diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 7d06ead0a69..25519fb885e 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -1820,7 +1820,12 @@ redisplay_region (buf, start, end) | |||
| 1820 | start = end; end = temp; | 1820 | start = end; end = temp; |
| 1821 | } | 1821 | } |
| 1822 | 1822 | ||
| 1823 | if (buf != current_buffer) | 1823 | /* If this is a buffer not in the selected window, |
| 1824 | we must do other windows. */ | ||
| 1825 | if (buf != XBUFFER (XWINDOW (selected_window)->buffer)) | ||
| 1826 | windows_or_buffers_changed = 1; | ||
| 1827 | /* If multiple windows show this buffer, we must do other windows. */ | ||
| 1828 | else if (buffer_shared > 1) | ||
| 1824 | windows_or_buffers_changed = 1; | 1829 | windows_or_buffers_changed = 1; |
| 1825 | else | 1830 | else |
| 1826 | { | 1831 | { |