[gnome-shell/wip/rewindow: 8/10] overview: Reduce space between window picker and dash

[Jasper St. Pierre <jstpierre src gnome org>]

commit 081cf61f115e18b603c29f67c8781f5f3788a587
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Wed Aug 8 18:02:35 2012 -0300

    overview: Reduce space between window picker and dash
    
    Do this in a hacky way by hardcoding this. When mode switch or whatever
    lands, hopefully we'll fix the overview layout code up.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=582650

 js/ui/overview.js |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/js/ui/overview.js b/js/ui/overview.js
index 00e410f..9e3b9de 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -28,8 +28,8 @@ const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
 // Time for initial animation going into Overview mode
 const ANIMATION_TIME = 0.25;
 
-// We split the screen vertically between the dash and the view selector.
-const DASH_SPLIT_FRACTION = 0.1;
+// XXX -- grab this automatically. Hard to do.
+const DASH_MAX_SIZE = 96;
 
 const DND_WINDOW_SWITCH_TIMEOUT = 1250;
 
@@ -500,7 +500,7 @@ const Overview = new Lang.Class({
         this._coverPane.set_position(0, contentY);
         this._coverPane.set_size(primary.width, contentHeight);
 
-        let dashWidth = Math.round(DASH_SPLIT_FRACTION * primary.width);
+        let dashWidth = DASH_MAX_SIZE;
         let viewWidth = primary.width - dashWidth - this.spacing;
         let viewHeight = contentHeight - 2 * this.spacing;
         let viewY = contentY + this.spacing;