[gnome-shell] windowManager: Undim parent when minimizing attached modal
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] windowManager: Undim parent when minimizing attached modal
- Date: Tue, 21 Jun 2022 22:17:04 +0000 (UTC)
commit 78a7cc18360e2330c8d45502670d01e22d5128f2
Author: Florian Müllner <fmuellner gnome org>
Date: Thu Jun 16 22:35:56 2022 +0200
windowManager: Undim parent when minimizing attached modal
Minimizing modal dialogs is highly unconventional - and in fact
disabled in our own code - but apps can still do it programmatically.
The parent window shouldn't remain dimmed in that case, so make
sure to re-check dimming when minimizing an attached modal.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5581
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2337>
js/ui/windowManager.js | 4 ++++
1 file changed, 4 insertions(+)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index bd47e6e5d5..166480db85 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1141,6 +1141,10 @@ var WindowManager = class {
}
_minimizeWindow(shellwm, actor) {
+ const window = actor.meta_window;
+ if (window.is_attached_dialog())
+ this._checkDimming(window.get_transient_for());
+
const types = [
Meta.WindowType.NORMAL,
Meta.WindowType.MODAL_DIALOG,
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]