Change margins in the side bar

These are more or less all margins in the side bar.

Contributes to issue CURA-4148.
This commit is contained in:
Ghostkeeper 2017-08-23 16:28:28 +02:00
parent 078b9e8b66
commit 11f8204644
No known key found for this signature in database
GPG key ID: C5F96EE2BC0F7E75
7 changed files with 73 additions and 72 deletions

View file

@ -130,11 +130,11 @@ Item {
id: settingControls
height: parent.height / 2
spacing: UM.Theme.getSize("default_margin").width / 2
spacing: UM.Theme.getSize("sidebar_margin").width / 2
anchors {
right: controlContainer.left
rightMargin: UM.Theme.getSize("default_margin").width / 2
rightMargin: UM.Theme.getSize("sidebar_margin").width / 2
verticalCenter: parent.verticalCenter
}
@ -293,7 +293,7 @@ Item {
enabled: propertyProvider.isValueUsed
anchors.right: parent.right;
anchors.rightMargin: UM.Theme.getSize("default_margin").width
anchors.rightMargin: UM.Theme.getSize("sidebar_margin").width
anchors.verticalCenter: parent.verticalCenter;
width: UM.Theme.getSize("setting_control").width;
height: UM.Theme.getSize("setting_control").height