| 77 max = min + 1; |
77 max = min + 1; |
| 78 } |
78 } |
| 79 #endif |
79 #endif |
| 80 GtkWidget *spin = gtk_spin_button_new_with_range(min, max, args->step); |
80 GtkWidget *spin = gtk_spin_button_new_with_range(min, max, args->step); |
| 81 ui_set_name_and_style(spin, args->name, args->style_class); |
81 ui_set_name_and_style(spin, args->name, args->style_class); |
| 82 ui_set_widget_groups(obj->ctx, spin, args->states); |
82 ui_set_widget_states(obj->ctx, spin, args->states); |
| 83 |
83 |
| 84 if(args->width > 0) { |
84 if(args->width > 0) { |
| 85 gtk_widget_set_size_request(spin, args->width, -1); |
85 gtk_widget_set_size_request(spin, args->width, -1); |
| 86 } |
86 } |
| 87 |
87 |