Fix rounding errors for garbled text

CURA-4941
This commit is contained in:
Mark 2018-02-09 11:30:56 +01:00
parent 183792ae09
commit 8fca183a5e
17 changed files with 76 additions and 76 deletions

View file

@ -65,7 +65,7 @@ Button
width: UM.Theme.getSize("extruder_button_material").width
height: UM.Theme.getSize("extruder_button_material").height
radius: width / 2
radius: Math.floor(width / 2)
border.width: UM.Theme.getSize("default_lining").width
border.color: UM.Theme.getColor("extruder_button_material_border")