--- a/ui/gtk/widget.h	Sun Dec 07 20:00:33 2025 +0100
+++ b/ui/gtk/widget.h	Sat Dec 13 15:58:58 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