isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add additional padding to the view specific workspace controls

Browse Source 
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
This commit is contained in:
Florian Müllner 2010-02-14 22:06:32 +01:00
parent 126d02ae90
commit b6bb26e9ae
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
data/theme/gnome-shell.css
View File

@ -206,6 +206,10 @@ StTooltip {
-shell-close-overlap: 16px; -shell-close-overlap: 16px;
} }
.single-view-controls {
padding: 0px 15px;
}
.workspace-controls { .workspace-controls {
width: 24px; width: 24px;
height: 16px; height: 16px;

4
js/ui/workspacesView.js
View File

@ -744,7 +744,9 @@ SingleView.prototype = {
}, },
createControllerBar: function() { 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 actor = new St.BoxLayout({ 'pack-start': true });
let active = global.screen.get_active_workspace_index(); let active = global.screen.get_active_workspace_index();