4267 |
/* Clear to end of window. */ |
/* Clear to end of window. */ |
4268 |
rif->clear_end_of_line (-1); |
rif->clear_end_of_line (-1); |
4269 |
changed_p = 1; |
changed_p = 1; |
4270 |
|
|
4271 |
|
/* This erases the cursor. We do this here because |
4272 |
|
notice_overwritten_cursor cannot easily check this, which |
4273 |
|
might indicate that the whole functionality of |
4274 |
|
notice_overwritten_cursor would better be implemented here. |
4275 |
|
On the other hand, we need notice_overwritten_cursor as long |
4276 |
|
as mouse highlighting is done asynchronously outside of |
4277 |
|
redisplay. */ |
4278 |
|
if (vpos == w->phys_cursor.vpos) |
4279 |
|
w->phys_cursor_on_p = 0; |
4280 |
} |
} |
4281 |
else |
else |
4282 |
{ |
{ |