--- a/ui/win32/button.c Sun Oct 19 21:20:08 2025 +0200 +++ b/ui/win32/button.c Mon Nov 10 21:52:51 2025 +0100 @@ -51,10 +51,10 @@ HWND hwnd = CreateWindow( "BUTTON", args->label, - WS_VISIBLE | WS_CHILD | BS_DEFPUSHBUTTON, + WS_VISIBLE | WS_CHILD | BS_PUSHBUTTON, 0, 0, 100, 30, parent, - (HMENU)0, + (HMENU)1, hInstance, NULL); ui_win32_set_ui_font(hwnd); @@ -85,6 +85,9 @@ void ui_button_eventproc(W32Widget *widget, HWND hwnd, UINT uMsg, WPARAM wParam, LPARAM lParam) { UiWidget *w = (UiWidget*)widget; + printf("button eventproc\n"); + fflush(stdout); + UiEvent e; e.obj = w->obj; e.document = e.obj->ctx->document;