diff -r 2b0ecad00872 -r f5ddce392617 ui/gtk/text.c --- 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");