From 28d18d88e5d95acda95f45b6319e6a415f184ea1 Mon Sep 17 00:00:00 2001 From: Ghostkeeper Date: Thu, 31 Aug 2017 17:30:44 +0200 Subject: [PATCH] Make top bar buttons smaller Contributes to issue CURA-4213. --- resources/themes/cura/theme.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/themes/cura/theme.json b/resources/themes/cura/theme.json index 7e5f6ae199..a025f15d1d 100644 --- a/resources/themes/cura/theme.json +++ b/resources/themes/cura/theme.json @@ -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],