A WXT terminal.
| procedure, public :: get_command_string => term_get_command_string | |
| procedure, public :: get_font_name => term_get_font_name | |
| procedure, public :: get_font_size => term_get_font_size | |
| procedure, public :: get_id_string => wxt_get_term_string | |
| procedure, public :: get_plot_window_number => term_get_plot_window_number | |
| procedure, public :: get_title => term_get_title | |
| procedure, public :: get_window_height => term_get_window_height | |
| procedure, public :: get_window_width => term_get_window_width | |
| procedure, public :: set_font_name => term_set_font_name | |
| procedure, public :: set_font_size => term_set_font_size | |
| procedure, public :: set_plot_window_number => term_set_plot_window_number | |
| procedure, public :: set_title => term_set_title | |
| procedure, public :: set_window_height => term_set_window_height | |
| procedure, public :: set_window_width => term_set_window_width |