summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Müllner <fmuellner@gnome.org>2018-05-21 21:21:05 +0200
committerFlorian Müllner <fmuellner@gnome.org>2018-05-21 21:29:17 +0200
commitf9d51b0890bcf14c016e11edfb486cb5eac62151 (patch)
treedaf534e3a17fe27467054f60eab87bf1b7e16cbb
parent04f61567bab561dc0e004b8d73e6ff5c6e904314 (diff)
downloadgnome-shell-wip/fmuellner/fix-fullscreen-close-dialog.tar.gz
closeDialog: Disable unredirection while showingwip/fmuellner/fix-fullscreen-close-dialog
The dialog won't be visible when unredirection is in place (for example while a fullscreen window is focused), so disable unredirection while the dialog is up. https://gitlab.gnome.org/GNOME/gnome-shell/issues/298
-rw-r--r--js/ui/closeDialog.js4
1 files changed, 4 insertions, 0 deletions
diff --git a/js/ui/closeDialog.js b/js/ui/closeDialog.js
index aa0b5ceaf..821480a9c 100644
--- a/js/ui/closeDialog.js
+++ b/js/ui/closeDialog.js
@@ -97,6 +97,8 @@ var CloseDialog = new Lang.Class({
if (this._dialog != null)
return;
+ Meta.disable_unredirect_for_screen(global.screen);
+
this._addWindowEffect();
this._initDialog();
@@ -117,6 +119,8 @@ var CloseDialog = new Lang.Class({
if (this._dialog == null)
return;
+ Meta.enable_unredirect_for_screen(global.screen);
+
let dialog = this._dialog;
this._dialog = null;
this._removeWindowEffect();