static WidgetInfo * create_page_selector (void) { GtkWidget *vbox; GtkWidget *selector; vbox = gtk_box_new (GTK_ORIENTATION_VERTICAL, 6); selector = gimp_page_selector_new (); gtk_widget_set_size_request (selector, -1, 240); gimp_page_selector_set_n_pages (GIMP_PAGE_SELECTOR (selector), 16); gimp_page_selector_select_range (GIMP_PAGE_SELECTOR (selector), "1,3,7-9,12-15"); gtk_box_pack_start (GTK_BOX (vbox), selector, TRUE, TRUE, 0); gtk_box_pack_start (GTK_BOX (vbox), gtk_label_new ("Page Selector"), FALSE, FALSE, 0); return new_widget_info ("gimp-widget-page-selector", vbox, ASIS); }
static void gimp_page_selector_range_activate (GtkEntry *entry, GimpPageSelector *selector) { gimp_page_selector_select_range (selector, gtk_entry_get_text (entry)); }