focus_client was becoming invalid if the focused client was unmanaged.
This commit is contained in:
parent
c97c6342c2
commit
b4eecc51b5
2 changed files with 2 additions and 1 deletions
|
@ -525,7 +525,6 @@ void client_unmanage(ObClient *self)
|
||||||
event_ignore_queued_enters();
|
event_ignore_queued_enters();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
keyboard_grab_for_client(self, FALSE);
|
keyboard_grab_for_client(self, FALSE);
|
||||||
mouse_grab_for_client(self, FALSE);
|
mouse_grab_for_client(self, FALSE);
|
||||||
|
|
||||||
|
|
|
@ -763,6 +763,8 @@ void focus_order_add_new(ObClient *c)
|
||||||
void focus_order_remove(ObClient *c)
|
void focus_order_remove(ObClient *c)
|
||||||
{
|
{
|
||||||
focus_order = g_list_remove(focus_order, c);
|
focus_order = g_list_remove(focus_order, c);
|
||||||
|
if (c == focus_client)
|
||||||
|
focus_client = NULL;
|
||||||
}
|
}
|
||||||
|
|
||||||
void focus_order_to_top(ObClient *c)
|
void focus_order_to_top(ObClient *c)
|
||||||
|
|
Loading…
Reference in a new issue