terminal_end(): * Clean up the terminal stuff */
| 303 | * Clean up the terminal stuff |
| 304 | */ |
| 305 | protected void |
| 306 | terminal_end(EditLine *el) |
| 307 | { |
| 308 | |
| 309 | el_free(el->el_terminal.t_buf); |
| 310 | el->el_terminal.t_buf = NULL; |
| 311 | el_free(el->el_terminal.t_cap); |
| 312 | el->el_terminal.t_cap = NULL; |
| 313 | el->el_terminal.t_loc = 0; |
| 314 | el_free(el->el_terminal.t_str); |
| 315 | el->el_terminal.t_str = NULL; |
| 316 | el_free(el->el_terminal.t_val); |
| 317 | el->el_terminal.t_val = NULL; |
| 318 | el_free(el->el_terminal.t_fkey); |
| 319 | el->el_terminal.t_fkey = NULL; |
| 320 | terminal_free_display(el); |
| 321 | } |
| 322 | |
| 323 | |
| 324 | /* terminal_alloc(): |
no test coverage detected