comparison: ui/gtk/entry.c
ui/gtk/entry.c
- changeset 45
- ab71409644b0
- parent 32
- e5f4d8af567e
equal
deleted
inserted
replaced
| 44:473954dc6b74 | 45:ab71409644b0 |
|---|---|
| 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) { |
