ui/gtk/entry.c

changeset 788
27f126f6e361
parent 769
cba744633584
child 801
e096c441e874
--- a/ui/gtk/entry.c	Thu Oct 02 17:51:13 2025 +0200
+++ b/ui/gtk/entry.c	Fri Oct 03 09:03:59 2025 +0200
@@ -82,6 +82,11 @@
     GtkWidget *spin = gtk_spin_button_new_with_range(min, max, args->step);
     ui_set_name_and_style(spin, args->name, args->style_class);
     ui_set_widget_groups(obj->ctx, spin, args->groups);
+    
+    if(args->width > 0) {
+        gtk_widget_set_size_request(spin, args->width, -1);
+    }
+    
     gtk_spin_button_set_digits(GTK_SPIN_BUTTON(spin), args->digits);
     UiObserver **obs = NULL;
     if(var) {

mercurial