From feffbf8a9345f31cb349d8d4cc545cf87afb83c4 Mon Sep 17 00:00:00 2001 From: Felipe Escoto Date: Wed, 3 Oct 2018 17:23:10 -0500 Subject: [PATCH] Fixed: closed windows being selectable with PIP (#355) --- plugins/pip/Main.vala | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/plugins/pip/Main.vala b/plugins/pip/Main.vala index 7fcbdd9c..0dca1fdd 100644 --- a/plugins/pip/Main.vala +++ b/plugins/pip/Main.vala @@ -148,7 +148,8 @@ public class Gala.Plugins.PIP.Plugin : Gala.Plugin var window = actor.get_meta_window (); var rect = window.get_frame_rect (); - if (!window.is_hidden () && !window.is_skip_taskbar () && meta_rectangle_contains (rect, x, y)) { + + if (!actor.is_destroyed () && !window.is_hidden () && !window.is_skip_taskbar () && meta_rectangle_contains (rect, x, y)) { selected = actor; } }); @@ -171,7 +172,7 @@ public class Gala.Plugins.PIP.Plugin : Gala.Plugin } var window = actor.get_meta_window (); - if (!window.is_hidden () && !window.is_skip_taskbar () && window.has_focus ()) { + if (!actor.is_destroyed () && !window.is_hidden () && !window.is_skip_taskbar () && window.has_focus ()) { active = actor; } });