static void num_workspaces_value_changed (GtkSpinButton *button, PagerData *pager) { wnck_screen_change_workspace_count (pager->screen, gtk_spin_button_get_value_as_int (GTK_SPIN_BUTTON (pager->num_workspaces_spin))); }
static void num_workspaces_value_changed(GtkSpinButton* button, PagerData* pager) { #if !GTK_CHECK_VERSION (3, 0, 0) /* Slow down a bit after the first change, since it's moving really to * fast. See bug #336731 for background. * FIXME: remove this if bug 410520 gets fixed. */ button->timer_step = 0.2; #endif wnck_screen_change_workspace_count(pager->screen, gtk_spin_button_get_value_as_int(GTK_SPIN_BUTTON(pager->num_workspaces_spin))); }