Make small and very_small fonts actually smaller

Rather than the same as default_bold and default.
This also makes the extruder_icon font obsolete. Turns out it's actually just a very small font.

Contributes to issue CURA-5876.
This commit is contained in:
Ghostkeeper 2018-11-26 17:35:58 +01:00
parent a3fe9839ba
commit 7f2f2090da
No known key found for this signature in database
GPG Key ID: 86BEF881AE2CF276
2 changed files with 4 additions and 10 deletions

View File

@ -49,7 +49,7 @@ Item
id: extruderNumberText id: extruderNumberText
anchors.centerIn: parent anchors.centerIn: parent
text: index + 1 text: index + 1
font: UM.Theme.getFont("extruder_icon") font: UM.Theme.getFont("very_small")
width: contentWidth width: contentWidth
height: contentHeight height: contentHeight
visible: extruderEnabled visible: extruderEnabled

View File

@ -41,12 +41,12 @@
"family": "Noto Sans" "family": "Noto Sans"
}, },
"small": { "small": {
"size": 1.0, "size": 0.85,
"weight": 63, "weight": 50,
"family": "Noto Sans" "family": "Noto Sans"
}, },
"very_small": { "very_small": {
"size": 1.0, "size": 0.7,
"weight": 50, "weight": 50,
"family": "Noto Sans" "family": "Noto Sans"
}, },
@ -64,12 +64,6 @@
"size": 1.15, "size": 1.15,
"weight": 50, "weight": 50,
"family": "Noto Sans" "family": "Noto Sans"
},
"extruder_icon":
{
"size": 0.7,
"weight": 50,
"family": "Noto Sans"
} }
}, },