comparison: ui/gtk/entry.c
ui/gtk/entry.c
- changeset 788
- 27f126f6e361
- parent 769
- cba744633584
- child 801
- e096c441e874
equal
deleted
inserted
replaced
| 787:91205084a852 | 788:27f126f6e361 |
|---|---|
| 80 } | 80 } |
| 81 #endif | 81 #endif |
| 82 GtkWidget *spin = gtk_spin_button_new_with_range(min, max, args->step); | 82 GtkWidget *spin = gtk_spin_button_new_with_range(min, max, args->step); |
| 83 ui_set_name_and_style(spin, args->name, args->style_class); | 83 ui_set_name_and_style(spin, args->name, args->style_class); |
| 84 ui_set_widget_groups(obj->ctx, spin, args->groups); | 84 ui_set_widget_groups(obj->ctx, spin, args->groups); |
| 85 | |
| 86 if(args->width > 0) { | |
| 87 gtk_widget_set_size_request(spin, args->width, -1); | |
| 88 } | |
| 89 | |
| 85 gtk_spin_button_set_digits(GTK_SPIN_BUTTON(spin), args->digits); | 90 gtk_spin_button_set_digits(GTK_SPIN_BUTTON(spin), args->digits); |
| 86 UiObserver **obs = NULL; | 91 UiObserver **obs = NULL; |
| 87 if(var) { | 92 if(var) { |
| 88 double value = 0; | 93 double value = 0; |
| 89 switch(vartype) { | 94 switch(vartype) { |
