void termit_on_destroy(GtkWidget *widget, gpointer data) { termit_quit(); }
void termit_close_tab() { termit_del_tab(); if (gtk_notebook_get_n_pages(GTK_NOTEBOOK(termit.notebook)) == 0) termit_quit(); }
void termit_on_exit() { if (confirm_exit() == FALSE) termit_quit(); }