ui/gtk/text.c

changeset 809
f5ddce392617
parent 801
e096c441e874
child 906
edfdf9776da9
--- a/ui/gtk/text.c	Mon Oct 06 16:50:42 2025 +0200
+++ b/ui/gtk/text.c	Mon Oct 06 19:29:41 2025 +0200
@@ -144,6 +144,18 @@
             GTK_POLICY_AUTOMATIC); // GTK_POLICY_ALWAYS  
     SCROLLEDWINDOW_SET_CHILD(scroll_area, text_area);
     
+    if(args->width > 0 || args->height > 0) {
+        int width = args->width;
+        int height = args->height;
+        if(width == 0) {
+            width = -1;
+        }
+        if(height == 0) {
+            height = -1;
+        }
+        gtk_widget_set_size_request(scroll_area, width, height);
+    }
+    
     // font and padding
     //PangoFontDescription *font;
     //font = pango_font_description_from_string("Monospace");

mercurial