From 9dde7aee9520cd52ee68dba1ed2f0b0337c65d6a Mon Sep 17 00:00:00 2001 From: Deve Date: Fri, 18 Oct 2019 18:12:03 +0200 Subject: [PATCH] Use default height for spinners in gui options. Also move them to the left side to give more space for labels. --- data/gui/screens/options_ui.stkgui | 35 +++++++++++++++++------------- 1 file changed, 20 insertions(+), 15 deletions(-) diff --git a/data/gui/screens/options_ui.stkgui b/data/gui/screens/options_ui.stkgui index 512a97da4..281adbff7 100644 --- a/data/gui/screens/options_ui.stkgui +++ b/data/gui/screens/options_ui.stkgui @@ -31,31 +31,34 @@ -
-