From cb80dc68347a912b32bfdd47692d1f922195ed84 Mon Sep 17 00:00:00 2001 From: Adel Gadllah Date: Sun, 14 Mar 2010 11:09:30 +0100 Subject: [PATCH] Use CSS for spacing Use CSS instead of St.Bin actors for spacing. https://bugzilla.gnome.org/show_bug.cgi?id=612852 --- data/theme/gnome-shell.css | 9 +-------- js/ui/workspaceSwitcherPopup.js | 5 ----- 2 files changed, 1 insertion(+), 13 deletions(-) diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css index b5cce5cd9..a55923425 100644 --- a/data/theme/gnome-shell.css +++ b/data/theme/gnome-shell.css @@ -726,6 +726,7 @@ StTooltip { border: 0px; border-radius: 0px; padding: 4px; + spacing: 4.5px; } .ws-switcher-active-left { @@ -744,14 +745,6 @@ StTooltip { border-radius: 4px; } -.ws-switcher-spacer { - width: 0.5px; - height: 96px; - border: 0px; - background: transparent; - padding: 4px; -} - .ws-switcher-box { height: 96px; border: 2px solid rgba(85,85,85,0.5); diff --git a/js/ui/workspaceSwitcherPopup.js b/js/ui/workspaceSwitcherPopup.js index 31e380f17..11ceebbf0 100644 --- a/js/ui/workspaceSwitcherPopup.js +++ b/js/ui/workspaceSwitcherPopup.js @@ -60,11 +60,6 @@ WorkspaceSwitcherPopup.prototype = { this._list.add(indicator); indicator.set_width(Math.round(indicator.get_height() * this._scaleWidth)); - if (i < global.screen.n_workspaces - 1) { - let spacer = new St.Bin({ style_class: 'ws-switcher-spacer' }); - this._list.add(spacer); - } - } },