diff -r 687f43736aef -r 7016bcb8d38b ui/gtk/widget.h
--- a/ui/gtk/widget.h	Sun Dec 07 12:02:58 2025 +0100
+++ b/ui/gtk/widget.h	Sun Dec 07 12:09:04 2025 +0100
@@ -35,7 +35,12 @@
 extern "C" {
 #endif
 
-
+/*
+ * Sets a widget width/height.
+ * 
+ * If wdith or height is 0, the dimension is not changed
+ */
+void ui_widget_size_request(UIWIDGET w, int width, int height);
 
 
 #ifdef __cplusplus