Adjust boxes padding

This commit is contained in:
Charles Gagnon
2019-09-10 08:54:25 -04:00
parent c65eb7d4a1
commit 18a774a142
2 changed files with 5 additions and 4 deletions

View File

@@ -709,17 +709,18 @@ var dtpPanel = Utils.defineClass({
actor.vertical = isVertical;
}
if (actor instanceof PanelMenu.Button) {
if (actor instanceof PanelMenu.ButtonBox) {
let child = actor.get_first_child();
if (child) {
let currentStyle = child.get_style();
let style = 'padding: ' + (isVertical ? '8px 0' : '0');
let style = 'padding: ' + (isVertical ? '6px 0' : '0');
if (currentStyle && currentStyle != style) {
style = currentStyle + (currentStyle.trim().slice(-1) != ';' ? ';' : '') + style;
}
actor.set_width(isVertical ? size : -1);
child.set_style(style);
}
}

View File

@@ -72,8 +72,8 @@
}
.dashtopanelPanel.vertical .panel-button * {
padding: 1px 0;
margin: 0;
padding: 0;
margin: 1px 0;
}
#dashtopanelThumbnailList {