… | |
… | |
4052 | case 1021: |
4052 | case 1021: |
4053 | if (mode) |
4053 | if (mode) |
4054 | SET_OPTION (Opt_intensityStyles); |
4054 | SET_OPTION (Opt_intensityStyles); |
4055 | else |
4055 | else |
4056 | CLR_OPTION (Opt_intensityStyles); |
4056 | CLR_OPTION (Opt_intensityStyles); |
|
|
4057 | |
|
|
4058 | want_refresh = 1; |
|
|
4059 | want_full_refresh = 1; |
|
|
4060 | break; |
4057 | #endif |
4061 | #endif |
4058 | case 1048: /* alternative cursor save */ |
4062 | case 1048: /* alternative cursor save */ |
4059 | case 1049: |
4063 | case 1049: |
4060 | if (OPTION (Opt_secondaryScreen)) |
4064 | if (OPTION (Opt_secondaryScreen)) |
4061 | if (mode == 0) |
4065 | if (mode == 0) |