… | |
… | |
4063 | if (mode) |
4063 | if (mode) |
4064 | SET_OPTION (Opt_intensityStyles); |
4064 | SET_OPTION (Opt_intensityStyles); |
4065 | else |
4065 | else |
4066 | CLR_OPTION (Opt_intensityStyles); |
4066 | CLR_OPTION (Opt_intensityStyles); |
4067 | |
4067 | |
4068 | want_refresh = 1; |
4068 | scr_touch (true); |
4069 | want_full_refresh = 1; |
|
|
4070 | break; |
4069 | break; |
4071 | #endif |
4070 | #endif |
4072 | case 1048: /* alternative cursor save */ |
4071 | case 1048: /* alternative cursor save */ |
4073 | case 1049: |
4072 | case 1049: |
4074 | if (OPTION (Opt_secondaryScreen)) |
4073 | if (OPTION (Opt_secondaryScreen)) |