Make suggested changes

Add anchors instead of using width

Contributes to CURA-6518.
This commit is contained in:
Diego Prado Gesto 2019-07-23 16:17:54 +02:00
parent 1d6ba3ffb0
commit 46e6baf6ae
2 changed files with 24 additions and 5 deletions

View File

@ -7,7 +7,6 @@ import UM 1.1 as UM
ScrollView ScrollView
{ {
id: base
clip: true clip: true
width: parent.width width: parent.width
height: parent.height height: parent.height

View File

@ -23,7 +23,12 @@ ScrollView
Label Label
{ {
width: parent.width - 2 * parent.padding anchors
{
left: parent.left
right: parent.right
margins: parent.padding
}
text: catalog.i18nc("@title:tab", "Plugins") text: catalog.i18nc("@title:tab", "Plugins")
color: UM.Theme.getColor("text_medium") color: UM.Theme.getColor("text_medium")
font: UM.Theme.getFont("large") font: UM.Theme.getFont("large")
@ -32,9 +37,14 @@ ScrollView
Rectangle Rectangle
{ {
anchors
{
left: parent.left
right: parent.right
margins: parent.padding
}
id: installedPlugins id: installedPlugins
color: "transparent" color: "transparent"
width: parent.width - 2 * parent.padding
height: childrenRect.height + UM.Theme.getSize("default_margin").width height: childrenRect.height + UM.Theme.getSize("default_margin").width
border.color: UM.Theme.getColor("lining") border.color: UM.Theme.getColor("lining")
border.width: UM.Theme.getSize("default_lining").width border.width: UM.Theme.getSize("default_lining").width
@ -58,7 +68,12 @@ ScrollView
Label Label
{ {
width: parent.width - 2 * parent.padding anchors
{
left: parent.left
right: parent.right
margins: parent.padding
}
text: catalog.i18nc("@title:tab", "Materials") text: catalog.i18nc("@title:tab", "Materials")
color: UM.Theme.getColor("text_medium") color: UM.Theme.getColor("text_medium")
font: UM.Theme.getFont("medium") font: UM.Theme.getFont("medium")
@ -67,9 +82,14 @@ ScrollView
Rectangle Rectangle
{ {
anchors
{
left: parent.left
right: parent.right
margins: parent.padding
}
id: installedMaterials id: installedMaterials
color: "transparent" color: "transparent"
width: parent.width - 2 * parent.padding
height: childrenRect.height + UM.Theme.getSize("default_margin").width height: childrenRect.height + UM.Theme.getSize("default_margin").width
border.color: UM.Theme.getColor("lining") border.color: UM.Theme.getColor("lining")
border.width: UM.Theme.getSize("default_lining").width border.width: UM.Theme.getSize("default_lining").width