diff --git a/src/gui_w32.c b/src/gui_w32.c
index b5ddc5d..ec62671 100644
--- a/src/gui_w32.c
+++ b/src/gui_w32.c
@@ -2899,6 +2899,8 @@
     HWND hwnd,
     HWND hwndNewFocus)
 {
+    if (destroying)
+	return;
     gui_focus_change(FALSE);
     s_getting_focus = FALSE;
     (void)DefWindowProcW(hwnd, WM_KILLFOCUS, (WPARAM)hwndNewFocus, 0);