diff -r 06e03c7e39db -r be4c88ded783 ui/win32/text.h
--- a/ui/win32/text.h	Wed Nov 26 19:39:37 2025 +0100
+++ b/ui/win32/text.h	Thu Nov 27 15:15:09 2025 +0100
@@ -39,7 +39,7 @@
 } UiTextField;
 
 W32Size ui_textfield_get_preferred_size(W32Widget *widget);
-void ui_textfield_eventproc(W32Widget *widget, HWND hwnd, UINT uMsg, WPARAM wParam, LPARAM lParam);
+int ui_textfield_eventproc(W32Widget *widget, HWND hwnd, UINT uMsg, WPARAM wParam, LPARAM lParam);
 
 char* ui_textfield_get(UiString *s);
 void ui_textfield_set(UiString *s, const char *value);