93 gtk_spin_button_set_digits(GTK_SPIN_BUTTON(spin), digits); |
93 gtk_spin_button_set_digits(GTK_SPIN_BUTTON(spin), digits); |
94 if(var) { |
94 if(var) { |
95 double value = 0; |
95 double value = 0; |
96 UiObserver **obs = NULL; |
96 UiObserver **obs = NULL; |
97 switch(type) { |
97 switch(type) { |
|
98 default: break; |
98 case UI_VAR_INTEGER: { |
99 case UI_VAR_INTEGER: { |
99 UiInteger *i = var->value; |
100 UiInteger *i = var->value; |
100 i->get = ui_spinbutton_getint; |
101 i->get = ui_spinbutton_getint; |
101 i->set = ui_spinbutton_setint; |
102 i->set = ui_spinbutton_setint; |
102 i->obj = spin; |
103 i->obj = spin; |