--- a/ui/win32/toolkit.h	Tue Oct 28 13:23:54 2025 +0100
+++ b/ui/win32/toolkit.h	Tue Oct 28 13:53:59 2025 +0100
@@ -53,6 +53,8 @@
     int64_t intvalue;
 } UiWidget;
 
+LRESULT CALLBACK ui_default_eventproc(HWND hwnd, UINT uMsg, WPARAM wParam, LPARAM lParam);
+
 HFONT ui_win32_get_font(void);
 void ui_win32_set_ui_font(HWND control);