Make top bar buttons smaller

Contributes to issue CURA-4213.
This commit is contained in:
Ghostkeeper 2017-08-31 17:30:44 +02:00
parent d13b693da0
commit 28d18d88e5
No known key found for this signature in database
GPG Key ID: C5F96EE2BC0F7E75

View File

@ -293,7 +293,7 @@
"button_icon": [2.5, 2.5],
"button_lining": [0, 0],
"topbar_button": [17, 4],
"topbar_button": [8, 4],
"button_tooltip": [1.0, 1.3],
"button_tooltip_arrow": [0.25, 0.25],