Remove unused theme option

This commit is contained in:
Jaime van Kessel 2019-01-25 13:02:39 +01:00
parent 228614a590
commit 13b2b33900

View File

@ -560,7 +560,6 @@
"message": [30.0, 5.0], "message": [30.0, 5.0],
"message_close": [1, 1], "message_close": [1, 1],
"message_inner_margin": [1.5, 1.5],
"message_radius": [0.25, 0.25], "message_radius": [0.25, 0.25],
"infill_button_margin": [0.5, 0.5], "infill_button_margin": [0.5, 0.5],