int string terminal_selection_copy 0x0
int string terminal_selection_mode_character 0x0
int string terminal_selection_mode_line 0x0
int string terminal_selection_mode_word 0x0
int string terminal_selection_more_options 0x0
int string terminal_selection_more_options_description 0x0
int string terminal_selection_paste 0x0
int string terminal_selection_select_all 0x0
int string terminal_selection_share 0x0
