From 656d24e47735e6e1ac1c388bd06188c55273d521 Mon Sep 17 00:00:00 2001 From: Cosimo Cecchi Date: Thu, 21 Feb 2013 10:44:32 -0500 Subject: [PATCH] overviewControls: don't set padding on the whole overview group Set it on the control slider actor instead. At the same time, remove bottom padding from search results actor. https://bugzilla.gnome.org/show_bug.cgi?id=694287 --- data/theme/gnome-shell.css | 6 +++++- js/ui/overviewControls.js | 1 + 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css index a2b95ea37..2f1a9f7e9 100644 --- a/data/theme/gnome-shell.css +++ b/data/theme/gnome-shell.css @@ -644,6 +644,9 @@ StScrollBar StButton#vhandle:active { #overview { spacing: 24px; +} + +.overview-controls { padding-bottom: 32px; } @@ -781,7 +784,7 @@ StScrollBar StButton#vhandle:active { /* Search Results */ #searchResults { - padding: 20px 10px 10px 10px; + padding: 20px 10px 0px 10px; spacing: 18px; } @@ -850,6 +853,7 @@ StScrollBar StButton#vhandle:active { .app-view-controls { width: 250px; + padding-bottom: 32px; } .app-view-control { diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js index e03b572ac..4f876fc62 100644 --- a/js/ui/overviewControls.js +++ b/js/ui/overviewControls.js @@ -98,6 +98,7 @@ const SlidingControl = new Lang.Class({ this.layout = new SlideLayout(); this.layout.slideDirection = params.slideDirection; this.actor = new St.Widget({ layout_manager: this.layout, + style_class: 'overview-controls', clip_to_allocation: true }); Main.overview.connect('showing', Lang.bind(this, this._onOverviewShowing));