From 3ffeeac577b3cd5d087344106625c5ae8a8341de Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Wed, 8 Aug 2012 18:02:35 -0300 Subject: [PATCH] overview: Reduce space between window picker and dash Do this in a hacky way by hardcoding this, for now. When we land search rework, we can fix this. https://bugzilla.gnome.org/show_bug.cgi?id=582650 --- js/ui/overview.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/js/ui/overview.js b/js/ui/overview.js index 729c33719..fdfc65c50 100644 --- a/js/ui/overview.js +++ b/js/ui/overview.js @@ -23,8 +23,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_WIDTH = 96; const DND_WINDOW_SWITCH_TIMEOUT = 1250; @@ -502,7 +502,7 @@ const Overview = new Lang.Class({ let searchX = (primary.width - searchWidth) / 2; let searchY = contentY + this._spacing; - let dashWidth = Math.round(DASH_SPLIT_FRACTION * primary.width); + let dashWidth = DASH_MAX_WIDTH; let dashY = searchY + searchHeight + this._spacing; let dashX; if (rtl) {