Type alias ElementIDs

ElementIDs: {
    container: string;
    div_graph: string;
    div_multi_graph: string;
    div_terminal: string;
    div_time_graph: string;
    form_terminal: string;
    graph_controls: string;
    images_dir: string;
    label_terminal: string;
    multi_graph_controls: string;
    show_controls: string;
    show_graph: string;
    show_hide_form: string;
    show_sim: string;
    show_terminal: string;
    sim_applet: string;
    sim_controls: string;
    tab_list: string;
    term_input: string;
    term_output: string;
    time_graph_controls: string;
}

An object that communicates the various ID's of the UI elements. The object consists of a set of strings which are accessed by string property names. For example

{ tab_list: myTabList,
  container: myContainer,
  sim_controls: mySimControls }

So in this case the tab_list element will have the name myTabList on the HTML web page. That element can be gotten with

document.getElementById(elem_id.tab_list)

Type declaration

container: string
div_graph: string
div_multi_graph: string
div_terminal: string
div_time_graph: string
form_terminal: string
graph_controls: string
images_dir: string
label_terminal: string
multi_graph_controls: string
show_controls: string
show_graph: string
show_hide_form: string
show_sim: string
show_terminal: string
sim_applet: string
sim_controls: string
tab_list: string
term_input: string
term_output: string
time_graph_controls: string

Type alias ElementIDs

Type declaration

container: string

div_graph: string

div_multi_graph: string

div_terminal: string

div_time_graph: string

form_terminal: string

graph_controls: string

images_dir: string

label_terminal: string

multi_graph_controls: string

show_controls: string

show_graph: string

show_hide_form: string

show_sim: string

show_terminal: string

sim_applet: string

sim_controls: string

tab_list: string

term_input: string

term_output: string

time_graph_controls: string

Settings

Member Visibility

Theme