9462 |
if (!cursor_row->enabled_p) |
if (!cursor_row->enabled_p) |
9463 |
goto mark_cursor_off; |
goto mark_cursor_off; |
9464 |
|
|
9465 |
|
/* If row is completely invisible, don't attempt to delete a cursor which |
9466 |
|
isn't there. This may happen if cursor is at top of window, and |
9467 |
|
we switch to a buffer with a header line in that window. */ |
9468 |
|
if (cursor_row->visible_height <= 0) |
9469 |
|
goto mark_cursor_off; |
9470 |
|
|
9471 |
/* This can happen when the new row is shorter than the old one. |
/* This can happen when the new row is shorter than the old one. |
9472 |
In this case, either x_draw_glyphs or clear_end_of_line |
In this case, either x_draw_glyphs or clear_end_of_line |
9473 |
should have cleared the cursor. Note that we wouldn't be |
should have cleared the cursor. Note that we wouldn't be |