Remove welcome_pages_default_margin theme entry

Use the wide margin instead. It's practically the same, nobody is going to notice. It still looks spacey and nice, and it's more consistent with the rest of the interface.
We had previously agreed that we will not make any new widget-specific theme entries any more.

Contributes to issue CURA-6057.
This commit is contained in:
Ghostkeeper 2019-03-29 13:36:05 +01:00
parent 129c1ab3d4
commit 5028290e0d
No known key found for this signature in database
GPG key ID: 86BEF881AE2CF276
9 changed files with 27 additions and 29 deletions

View file

@ -19,7 +19,7 @@ Item
{
id: titleLabel
anchors.top: parent.top
anchors.topMargin: UM.Theme.getSize("welcome_pages_default_margin").height
anchors.topMargin: UM.Theme.getSize("wide_margin").height
anchors.horizontalCenter: parent.horizontalCenter
horizontalAlignment: Text.AlignHCenter
text: catalog.i18nc("@label", "Add a printer")
@ -110,7 +110,7 @@ Item
id: nextButton
anchors.right: parent.right
anchors.bottom: parent.bottom
anchors.margins: UM.Theme.getSize("welcome_pages_default_margin").width
anchors.margins: UM.Theme.getSize("wide_margin").width
enabled:
{
// If the network printer dropdown is expanded, make sure that there is a selected item