Merge branch '4.3'

This commit is contained in:
Ghostkeeper 2019-09-17 13:08:49 +02:00
commit b34895703b
No known key found for this signature in database
GPG key ID: 86BEF881AE2CF276
5 changed files with 22 additions and 6 deletions

View file

@ -72,6 +72,7 @@ Button
verticalCenter: parent.verticalCenter
}
spacing: UM.Theme.getSize("narrow_margin").width
visible: (updatePrinterTypesOnlyWhenChecked && machineSelectorButton.checked) || !updatePrinterTypesOnlyWhenChecked
Repeater
{