From 13b2b339006e54a4f3eef8c6bfae34986abab262 Mon Sep 17 00:00:00 2001 From: Jaime van Kessel Date: Fri, 25 Jan 2019 13:02:39 +0100 Subject: [PATCH] Remove unused theme option --- resources/themes/cura-light/theme.json | 1 - 1 file changed, 1 deletion(-) diff --git a/resources/themes/cura-light/theme.json b/resources/themes/cura-light/theme.json index 1dbb2a7846..9c0ff933fc 100644 --- a/resources/themes/cura-light/theme.json +++ b/resources/themes/cura-light/theme.json @@ -560,7 +560,6 @@ "message": [30.0, 5.0], "message_close": [1, 1], - "message_inner_margin": [1.5, 1.5], "message_radius": [0.25, 0.25], "infill_button_margin": [0.5, 0.5],