From dec0baa147003c534a08f5b9172d750ad8030604 Mon Sep 17 00:00:00 2001 From: Hashem Nasarat Date: Mon, 28 Jan 2013 19:46:29 -0500 Subject: [PATCH] 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 file changed, 2 insertions(+), 2 deletions(-) diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 1b6ccad35..c36ff4763 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 ||