diff options
| -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 05f69b0321f..6c401d0abb9 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -15581,7 +15581,12 @@ redisplay_internal (void) | |||
| 15581 | && CHARPOS (this_line_end_pos) == CHARPOS (tlendpos) | 15581 | && CHARPOS (this_line_end_pos) == CHARPOS (tlendpos) |
| 15582 | /* Line has same height as before. Otherwise other lines | 15582 | /* Line has same height as before. Otherwise other lines |
| 15583 | would have to be shifted up or down. */ | 15583 | would have to be shifted up or down. */ |
| 15584 | && this_line_pixel_height == line_height_before) | 15584 | && this_line_pixel_height == line_height_before |
| 15585 | /* Cannot use this optimization if hscrolling current | ||
| 15586 | line and this line is the current one, because | ||
| 15587 | display_line above is not informed about the | ||
| 15588 | current-line's vpos, and cannot DTRT in that case. */ | ||
| 15589 | && !hscrolling_current_line_p (w)) | ||
| 15585 | { | 15590 | { |
| 15586 | /* If this is not the window's last line, we must adjust | 15591 | /* If this is not the window's last line, we must adjust |
| 15587 | the charstarts of the lines below. */ | 15592 | the charstarts of the lines below. */ |