Searched refs:tab__close_undo (Results 1 – 2 of 2) sorted by relevance
66 GtkWidget * tab__close_undo; member
3694 gtk_widget_set_sensitive(pl->tab__close_undo, TRUE); in playlist_tab_label_clicked()3696 gtk_widget_set_sensitive(pl->tab__close_undo, FALSE); in playlist_tab_label_clicked()3887 pl->tab__close_undo = gtk_menu_item_new_with_label(_("Undo close tab")); in create_playlist_tab_label()3898 gtk_menu_shell_append(GTK_MENU_SHELL(pl->tab_menu), pl->tab__close_undo); in create_playlist_tab_label()3909 …g_signal_connect_swapped(G_OBJECT(pl->tab__close_undo), "activate", G_CALLBACK(tab__close_undo_cb)… in create_playlist_tab_label()3915 gtk_widget_show(pl->tab__close_undo); in create_playlist_tab_label()