Exemple #1
0
static void mainwindow_delete_tab(GtkWidget *widget, gpointer user_data)
{
    mainwindow_close_tab(NULL);

    if(tabcount > 0)
        mainwindow_focus_terminal();
}
Exemple #2
0
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();
}
Exemple #3
0
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();
}
Exemple #4
0
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();
}
Exemple #5
0
static void mainwindow_new_tab(GtkWidget *widget, gpointer user_data) {
    mainwindow_create_tab();
    mainwindow_focus_terminal();
}
Exemple #6
0
static void mainwindow_goto_tab(gint i)
{
    gtk_notebook_set_current_page(tabbar, i);
    activetab = gtk_notebook_get_current_page(tabbar);
    mainwindow_focus_terminal();
}