window: Don't crash when window with focus_widget is destroyed

We would try to deliver a leave event to a widget in a destroyed window.
1 file changed