From 24703ffa57a8544beff467999dc2c332dcfadbce Mon Sep 17 00:00:00 2001
From: Adel Gadllah <adel.gadllah@gmail.com>
Date: Thu, 30 May 2013 10:43:23 +0200
Subject: [PATCH] osdWindow: Disable unredirection while showing the OSD

This allows OSDs to be visible even when displayed on top
of unredirected windows.

https://bugzilla.gnome.org/show_bug.cgi?id=701224
---
 js/ui/osdWindow.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/ui/osdWindow.js b/js/ui/osdWindow.js
index 09d03549b..340702ae8 100644
--- a/js/ui/osdWindow.js
+++ b/js/ui/osdWindow.js
@@ -136,6 +136,7 @@ const OsdWindow = new Lang.Class({
             return;
 
         if (!this.actor.visible) {
+            Meta.disable_unredirect_for_screen(global.screen);
             this.actor.show();
             this.actor.opacity = 0;
             this.actor.get_parent().set_child_above_sibling(this.actor, null);
@@ -173,6 +174,7 @@ const OsdWindow = new Lang.Class({
         this.actor.hide();
         this.setLabel(null);
         this.setLevel(null);
+        Meta.enable_unredirect_for_screen(global.screen);
     },
 
     _monitorsChanged: function() {