static void menu_close_tab_cb (GtkWidget *widget, gpointer data) { DEBUG_FUNCTION ("menu_close_tab_cb"); DEBUG_ASSERT (widget != NULL); DEBUG_ASSERT (data != NULL); tilda_window_close_current_tab (TILDA_WINDOW(data)); }
static void menu_close_tab_cb (GSimpleAction *action, GVariant *parameter, gpointer user_data) { DEBUG_FUNCTION ("menu_close_tab_cb"); DEBUG_ASSERT (user_data != NULL); tilda_window_close_current_tab (TILDA_WINDOW(user_data)); }