static void mainwindow_delete_tab(GtkWidget *widget, gpointer user_data) { mainwindow_close_tab(NULL); if(tabcount > 0) mainwindow_focus_terminal(); }
static void mainwindow_prev_tab(GtkWidget *widget, gpointer user_data) { if(gtk_notebook_get_current_page(tabbar) == (0)) gtk_notebook_set_current_page(tabbar, (tabcount - 1)); else gtk_notebook_prev_page(tabbar); activetab = gtk_notebook_get_current_page(tabbar); mainwindow_focus_terminal(); }
static void mainwindow_toggle_fullscreen(GtkWidget *widget, gpointer user_data) { if (fullscreen) { gtk_window_unfullscreen(GTK_WINDOW(mainwindow)); mainwindow_reset_position(); } else gtk_window_fullscreen(GTK_WINDOW(mainwindow)); fullscreen = !fullscreen; mainwindow_focus_terminal(); }
void mainwindow_toggle_fullscreen(void) { if(fullscreen) { gtk_window_unfullscreen(GTK_WINDOW(mainwindow)); mainwindow_reset_position(); } else gtk_window_fullscreen(GTK_WINDOW(mainwindow)); fullscreen = !fullscreen; mainwindow_focus_terminal(); }
static void mainwindow_new_tab(GtkWidget *widget, gpointer user_data) { mainwindow_create_tab(); mainwindow_focus_terminal(); }
static void mainwindow_goto_tab(gint i) { gtk_notebook_set_current_page(tabbar, i); activetab = gtk_notebook_get_current_page(tabbar); mainwindow_focus_terminal(); }