8458 |
if (!cursor_row->enabled_p) |
if (!cursor_row->enabled_p) |
8459 |
goto mark_cursor_off; |
goto mark_cursor_off; |
8460 |
|
|
8461 |
|
/* If row is completely invisible, don't attempt to delete a cursor which |
8462 |
|
isn't there. This can happen if cursor is at top of a window, and |
8463 |
|
we switch to a buffer with a header line in that window. */ |
8464 |
|
if (cursor_row->visible_height <= 0) |
8465 |
|
goto mark_cursor_off; |
8466 |
|
|
8467 |
/* 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. |
8468 |
In this case, either x_draw_glyphs or clear_end_of_line |
In this case, either x_draw_glyphs or clear_end_of_line |
8469 |
should have cleared the cursor. Note that we wouldn't be |
should have cleared the cursor. Note that we wouldn't be |