Fixed: closed windows being selectable with PIP (#355)

This commit is contained in:
Felipe Escoto 2018-10-03 17:23:10 -05:00 committed by Adam Bieńkowski
parent 9747bd6173
commit feffbf8a93

View File

@ -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;
}
});