[gnome-shell] windowManager: Fix windows not getting undimmed while hidden
- From: Rui Matos <rtcm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] windowManager: Fix windows not getting undimmed while hidden
- Date: Fri, 9 Sep 2016 15:18:07 +0000 (UTC)
commit 02a51bfa65528afd7ef2c72c7343ef583ebb6851
Author: Rui Matos <tiagomatos gmail com>
Date: Mon Aug 22 19:53:38 2016 +0200
windowManager: Fix windows not getting undimmed while hidden
Mutter's plugin destroy event doesn't happen if a window is hidden
when it gets unmanaged so we also need to handle the
MetaWindow::unmanaged signal to check whether the parent should
dimmed.
https://bugzilla.gnome.org/show_bug.cgi?id=752524
js/ui/windowManager.js | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 5222b98..8b0398b 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1424,6 +1424,11 @@ const WindowManager = new Lang.Class({
actor._windowType = type;
}));
+ actor.meta_window.connect('unmanaged', Lang.bind(this, function(window) {
+ let parent = window.get_transient_for();
+ if (parent)
+ this._checkDimming(parent);
+ }));
if (actor.meta_window.is_attached_dialog())
this._checkDimming(actor.get_meta_window().get_transient_for());
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]