diff options
| -rw-r--r-- | src/dispnew.c | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/dispnew.c b/src/dispnew.c index 4e4b9c56a8d..e1a3ed93dab 100644 --- a/src/dispnew.c +++ b/src/dispnew.c | |||
| @@ -4135,16 +4135,6 @@ update_window (w, force_p) | |||
| 4135 | changed_p = 1; | 4135 | changed_p = 1; |
| 4136 | } | 4136 | } |
| 4137 | 4137 | ||
| 4138 | /* Update the header line after scrolling because a new header | ||
| 4139 | line would otherwise overwrite lines at the top of the window | ||
| 4140 | that can be scrolled. */ | ||
| 4141 | if (header_line_row && header_line_row->enabled_p) | ||
| 4142 | { | ||
| 4143 | header_line_row->y = 0; | ||
| 4144 | update_window_line (w, 0, &mouse_face_overwritten_p); | ||
| 4145 | changed_p = 1; | ||
| 4146 | } | ||
| 4147 | |||
| 4148 | /* Update the rest of the lines. */ | 4138 | /* Update the rest of the lines. */ |
| 4149 | for (n_updated = 0; row < end && (force_p || !input_pending); ++row) | 4139 | for (n_updated = 0; row < end && (force_p || !input_pending); ++row) |
| 4150 | if (row->enabled_p) | 4140 | if (row->enabled_p) |
| @@ -4181,6 +4171,16 @@ update_window (w, force_p) | |||
| 4181 | 4171 | ||
| 4182 | set_cursor: | 4172 | set_cursor: |
| 4183 | 4173 | ||
| 4174 | /* Update the header line after scrolling because a new header | ||
| 4175 | line would otherwise overwrite lines at the top of the window | ||
| 4176 | that can be scrolled. */ | ||
| 4177 | if (header_line_row && header_line_row->enabled_p) | ||
| 4178 | { | ||
| 4179 | header_line_row->y = 0; | ||
| 4180 | update_window_line (w, 0, &mouse_face_overwritten_p); | ||
| 4181 | changed_p = 1; | ||
| 4182 | } | ||
| 4183 | |||
| 4184 | /* Fix the appearance of overlapping/overlapped rows. */ | 4184 | /* Fix the appearance of overlapping/overlapped rows. */ |
| 4185 | if (!paused_p && !w->pseudo_window_p) | 4185 | if (!paused_p && !w->pseudo_window_p) |
| 4186 | { | 4186 | { |