| … | |
… | |
| 1040 | { |
1040 | { |
| 1041 | hidden_cursor = 0; |
1041 | hidden_cursor = 0; |
| 1042 | want_refresh = 1; |
1042 | want_refresh = 1; |
| 1043 | } |
1043 | } |
| 1044 | |
1044 | |
| 1045 | if (option (Opt_cursorBlink)) |
1045 | if (option (Opt_cursorBlink) || (priv_modes & PrivMode_BlinkingCursor)) |
| 1046 | cursor_blink_ev.again (); |
1046 | cursor_blink_ev.again (); |
| 1047 | else |
1047 | else |
| 1048 | cursor_blink_ev.stop (); |
1048 | cursor_blink_ev.stop (); |
| 1049 | } |
1049 | } |
| 1050 | |
1050 | |
| … | |
… | |
| 3801 | scr_touch (true); |
3801 | scr_touch (true); |
| 3802 | break; |
3802 | break; |
| 3803 | #endif |
3803 | #endif |
| 3804 | #ifdef CURSOR_BLINK |
3804 | #ifdef CURSOR_BLINK |
| 3805 | case 12: |
3805 | case 12: |
| 3806 | set_option (Opt_cursorBlink, state); |
|
|
| 3807 | cursor_blink_reset (); |
3806 | cursor_blink_reset (); |
| 3808 | break; |
3807 | break; |
| 3809 | #endif |
3808 | #endif |
| 3810 | case 25: /* visible/invisible cursor */ |
3809 | case 25: /* visible/invisible cursor */ |
| 3811 | scr_cursor_visible (state); |
3810 | scr_cursor_visible (state); |
