void termit_after_show_all() { termit_set_fonts(); termit_hide_scrollbars(); termit_set_colors(); termit_toggle_menubar(); termit_toggle_search(); }
void termit_on_toggle_search(GtkToggleButton* tb, gpointer user_data) { termit_toggle_search(); }