68 if(min == max) { |
68 if(min == max) { |
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 gtk_spin_button_set_digits(GTK_SPIN_BUTTON(spin), args.digits); |
74 gtk_spin_button_set_digits(GTK_SPIN_BUTTON(spin), args.digits); |
74 UiObserver **obs = NULL; |
75 UiObserver **obs = NULL; |
75 if(var) { |
76 if(var) { |
76 double value = 0; |
77 double value = 0; |
77 switch(var->type) { |
78 switch(var->type) { |