diff options
author | Florian Müllner <fmuellner@gnome.org> | 2018-05-21 21:21:05 +0200 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2018-05-21 21:29:17 +0200 |
commit | f9d51b0890bcf14c016e11edfb486cb5eac62151 (patch) | |
tree | daf534e3a17fe27467054f60eab87bf1b7e16cbb | |
parent | 04f61567bab561dc0e004b8d73e6ff5c6e904314 (diff) | |
download | gnome-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.js | 4 |
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(); |