Remove unneeded rounding

This commit is contained in:
Jaime van Kessel 2020-01-03 16:56:13 +01:00
parent 6afd669389
commit 1b1c7b78aa
No known key found for this signature in database
GPG key ID: 3710727397403C91
2 changed files with 2 additions and 2 deletions

View file

@ -33,7 +33,7 @@ SettingItem
anchors.fill: parent
radius: UM.Theme.getSize("setting_control_radius").width
border.width: Math.round(UM.Theme.getSize("default_lining").width)
border.width: UM.Theme.getSize("default_lining").width
border.color:
{
if(!enabled)