… | |
… | |
3680 | { 5, PrivMode_rVideo }, // DECSCNM |
3680 | { 5, PrivMode_rVideo }, // DECSCNM |
3681 | { 6, PrivMode_relOrigin }, // DECOM |
3681 | { 6, PrivMode_relOrigin }, // DECOM |
3682 | { 7, PrivMode_Autowrap }, // DECAWM |
3682 | { 7, PrivMode_Autowrap }, // DECAWM |
3683 | // 8, auto-repeat keys // DECARM |
3683 | // 8, auto-repeat keys // DECARM |
3684 | { 9, PrivMode_MouseX10 }, |
3684 | { 9, PrivMode_MouseX10 }, |
|
|
3685 | { 12, PrivMode_BlinkingCursor }, |
3685 | // 18 end FF to printer after print screen |
3686 | // 18 end FF to printer after print screen |
3686 | // 19 Print screen prints full screen/scroll region |
3687 | // 19 Print screen prints full screen/scroll region |
3687 | { 25, PrivMode_VisibleCursor }, // DECTCEM cnorm/cvvis/civis |
3688 | { 25, PrivMode_VisibleCursor }, // DECTCEM cnorm/cvvis/civis |
3688 | #ifdef scrollBar_esc |
3689 | #ifdef scrollBar_esc |
3689 | { scrollBar_esc, PrivMode_scrollBar }, |
3690 | { scrollBar_esc, PrivMode_scrollBar }, |
… | |
… | |
3796 | #ifdef scrollBar_esc |
3797 | #ifdef scrollBar_esc |
3797 | case scrollBar_esc: |
3798 | case scrollBar_esc: |
3798 | scrollBar.map (state); |
3799 | scrollBar.map (state); |
3799 | resize_all_windows (0, 0, 0); |
3800 | resize_all_windows (0, 0, 0); |
3800 | scr_touch (true); |
3801 | scr_touch (true); |
|
|
3802 | break; |
|
|
3803 | #endif |
|
|
3804 | #ifdef CURSOR_BLINK |
|
|
3805 | case 12: |
|
|
3806 | set_option (Opt_cursorBlink, state); |
|
|
3807 | cursor_blink_reset (); |
3801 | break; |
3808 | break; |
3802 | #endif |
3809 | #endif |
3803 | case 25: /* visible/invisible cursor */ |
3810 | case 25: /* visible/invisible cursor */ |
3804 | scr_cursor_visible (state); |
3811 | scr_cursor_visible (state); |
3805 | break; |
3812 | break; |