[gnome-shell] Add additional padding to the view specific workspace controls



commit b6bb26e9aed371568e7ecb71ccc9cf95e257dc48
Author: Florian Müllner <fmuellner src gnome org>
Date:   Sun Feb 14 22:06:32 2010 +0100

    Add additional padding to the view specific workspace controls
    
    In the latest mockup, there is more spacing around the scroll bar than
    between the other controls.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=610189

 data/theme/gnome-shell.css |    4 ++++
 js/ui/workspacesView.js    |    4 +++-
 2 files changed, 7 insertions(+), 1 deletions(-)
---
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index bf18b05..b2c816f 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -206,6 +206,10 @@ StTooltip {
     -shell-close-overlap: 16px;
 }
 
+.single-view-controls {
+    padding: 0px 15px;
+}
+
 .workspace-controls {
     width: 24px;
     height: 16px;
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 450e36c..e129a76 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -744,7 +744,9 @@ SingleView.prototype = {
     },
 
     createControllerBar: function() {
-        let panel = new St.BoxLayout({ 'pack-start': true, vertical: true });
+        let panel = new St.BoxLayout({ style_class: 'single-view-controls',
+                                       pack_start: true,
+                                       vertical: true });
 
         let actor = new St.BoxLayout({ 'pack-start': true });
         let active = global.screen.get_active_workspace_index();



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]