[gnome-shell] viewSelector: emit a signal when the view is empty

[Cosimo Cecchi <cosimoc src gnome org>]

commit 153d3045ed17bf0282b319cb7f861947627cd5ff
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Fri Feb 15 20:43:45 2013 -0500

    viewSelector: emit a signal when the view is empty
    
    This is very a useful point in time when the size of the side controls
    can change without affecting any visible view. Emit a signal at that
    time.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=693924

 js/ui/viewSelector.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index b40da6f..7a3182a 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -205,6 +205,8 @@ const ViewSelector = new Lang.Class({
     },
 
     _fadePageIn: function() {
+        this.emit('page-empty');
+
         this._activePage.show();
         Tweener.addTween(this._activePage,
             { opacity: 255,