diff options
| -rw-r--r-- | src/gui_w32.c | 2 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/gui_w32.c b/src/gui_w32.c index b5ddc5dac..ec6267178 100644 --- a/src/gui_w32.c +++ b/src/gui_w32.c @@ -2899,6 +2899,8 @@ _OnKillFocus( HWND hwnd, HWND hwndNewFocus) { + if (destroying) + return; gui_focus_change(FALSE); s_getting_focus = FALSE; (void)DefWindowProcW(hwnd, WM_KILLFOCUS, (WPARAM)hwndNewFocus, 0); diff --git a/src/version.c b/src/version.c index a34bad1e7..cfa06291a 100644 --- a/src/version.c +++ b/src/version.c @@ -755,6 +755,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 4461, +/**/ 4460, /**/ 4459, |