[gnome-shell] Disable unredirection when a modal operation is active

[Giovanni Campagna <gcampagna src gnome org>]

commit 8ebbba6eb8074c7fb2c218d219a542d24b514643
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Tue Jun 19 19:48:02 2012 +0200

    Disable unredirection when a modal operation is active
    
    When the shell takes control of the screen (for example to show
    a modal dialog or to lock the screen), it must reestablish itself
    on top of the stack, and in particular restore any unredirected
    window so that it is composited below the Shell UI.
    
    Reviewed-By: drago01 in IRC.

 js/ui/main.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index 4248ab9..bc5a3df 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -671,6 +671,7 @@ function pushModal(actor, timestamp, options) {
             log('pushModal: invocation of begin_modal failed');
             return false;
         }
+        Meta.disable_unredirect_for_screen(global.screen);
     }
 
     global.set_stage_input_mode(Shell.StageInputMode.FULLSCREEN);
@@ -751,6 +752,7 @@ function popModal(actor, timestamp) {
 
     global.end_modal(timestamp);
     global.set_stage_input_mode(Shell.StageInputMode.NORMAL);
+    Meta.enable_unredirect_for_screen(global.screen);
 }
 
 function createLookingGlass() {