69 max = min + 1; |
69 max = min + 1; |
70 } |
70 } |
71 #endif |
71 #endif |
72 GtkWidget *spin = gtk_spin_button_new_with_range(min, max, args.step); |
72 GtkWidget *spin = gtk_spin_button_new_with_range(min, max, args.step); |
73 ui_set_name_and_style(spin, args.name, args.style_class); |
73 ui_set_name_and_style(spin, args.name, args.style_class); |
|
74 ui_set_widget_groups(obj->ctx, spin, args.groups); |
74 gtk_spin_button_set_digits(GTK_SPIN_BUTTON(spin), args.digits); |
75 gtk_spin_button_set_digits(GTK_SPIN_BUTTON(spin), args.digits); |
75 UiObserver **obs = NULL; |
76 UiObserver **obs = NULL; |
76 if(var) { |
77 if(var) { |
77 double value = 0; |
78 double value = 0; |
78 switch(var->type) { |
79 switch(var->type) { |