[gnome-shell-extensions/legacy-colors: 2/5] Add back :overview style to panel

[Florian MÃllner <fmuellner src gnome org>]

commit 05a87143c74c7d68eacb32e4cc53007987cedbf8
Author: Florian MÃllner <fmuellner gnome org>
Date:   Tue Jan 22 17:06:13 2013 +0100

    Add back :overview style to panel
    
    This was removed upstream a while after the default style stopped
    using it.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=693169

 extensions/legacy-colors/extension.js |   20 ++++++++++++++++++++
 1 files changed, 20 insertions(+), 0 deletions(-)
---
diff --git a/extensions/legacy-colors/extension.js b/extensions/legacy-colors/extension.js
index cb8907e..7a805dc 100644
--- a/extensions/legacy-colors/extension.js
+++ b/extensions/legacy-colors/extension.js
@@ -3,10 +3,30 @@ const Main = imports.ui.main;
 function init() {
 }
 
+var overviewShownId = 0;
+var overviewHidingId = 0;
+
 function enable() {
+    overviewShownId = Main.overview.connect('showing',
+        function() {
+            Main.panel.actor.add_style_pseudo_class('overview');
+        });
+    overviewHidingId = Main.overview.connect('hiding',
+        function() {
+            Main.panel.actor.remove_style_pseudo_class('overview');
+        });
+
     Main.loadTheme();
 }
 
 function disable() {
+    if (overviewShownId)
+        Main.overview.disconnect(overviewShownId);
+    overviewShownId = 0;
+
+    if (overviewHidingId)
+        Main.overview.disconnect(overviewHidingId);
+    overviewHidingId = 0;
+
     Main.loadTheme();
 }