[gnome-shell] Remove gap between windows when switching workspaces

[Giovanni Campagna <gcampagna src gnome org>]

commit dec0baa147003c534a08f5b9172d750ad8030604
Author: Hashem Nasarat <hnasarat gmail com>
Date:   Mon Jan 28 19:46:29 2013 -0500

    Remove gap between windows when switching workspaces
    
    Previously there was a distracting gap between workspaces with two full-screen
    applications.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=685849

 js/ui/windowManager.js |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 1b6ccad..c36ff47 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -530,11 +530,11 @@ const WindowManager = new Lang.Class({
         if (direction == Meta.MotionDirection.UP ||
             direction == Meta.MotionDirection.UP_LEFT ||
             direction == Meta.MotionDirection.UP_RIGHT)
-                yDest = global.screen_height;
+                yDest = global.screen_height - Main.panel.actor.height;
         else if (direction == Meta.MotionDirection.DOWN ||
             direction == Meta.MotionDirection.DOWN_LEFT ||
             direction == Meta.MotionDirection.DOWN_RIGHT)
-                yDest = -global.screen_height;
+                yDest = -global.screen_height + Main.panel.actor.height;
 
         if (direction == Meta.MotionDirection.LEFT ||
             direction == Meta.MotionDirection.UP_LEFT ||