11396 |
if (!cursor_row->enabled_p) |
if (!cursor_row->enabled_p) |
11397 |
goto mark_cursor_off; |
goto mark_cursor_off; |
11398 |
|
|
11399 |
|
/* If row is completely invisible, don't attempt to delete a cursor which |
11400 |
|
isn't there. This can happen if cursor is at top of a window, and |
11401 |
|
we switch to a buffer with a header line in that window. */ |
11402 |
|
if (cursor_row->visible_height <= 0) |
11403 |
|
goto mark_cursor_off; |
11404 |
|
|
11405 |
/* 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. |
11406 |
In this case, either x_draw_glyphs or clear_end_of_line |
In this case, either x_draw_glyphs or clear_end_of_line |
11407 |
should have cleared the cursor. Note that we wouldn't be |
should have cleared the cursor. Note that we wouldn't be |