… | |
… | |
3019 | case 7: /* unofficial extension */ |
3019 | case 7: /* unofficial extension */ |
3020 | if (option (Opt_insecure)) |
3020 | if (option (Opt_insecure)) |
3021 | tt_printf ("%-.250s\012", rs[Rs_display_name]); |
3021 | tt_printf ("%-.250s\012", rs[Rs_display_name]); |
3022 | break; |
3022 | break; |
3023 | case 8: /* unofficial extension */ |
3023 | case 8: /* unofficial extension */ |
3024 | process_xterm_seq (XTerm_title, RESNAME "-" VERSION, CHAR_ST); |
3024 | process_xterm_seq (XTerm_title, (char *)RESNAME "-" VERSION, CHAR_ST); // char * cast verified |
3025 | break; |
3025 | break; |
3026 | } |
3026 | } |
3027 | break; |
3027 | break; |
3028 | |
3028 | |
3029 | case CSI_TBC: /* 8.3.155: (0) TABULATION CLEAR */ |
3029 | case CSI_TBC: /* 8.3.155: (0) TABULATION CLEAR */ |