38
{ TERMINAL_HELPER_WEBBROWSER, "TERMINAL_HELPER_WEBBROWSER", "webbrowser" },
39
{ TERMINAL_HELPER_MAILREADER, "TERMINAL_HELPER_MAILREADER", "mailreader" },
47
30
/* enumerations from "terminal-options.h" */
49
32
terminal_visibility_get_type (void)