diff --git a/data/gui/screens/options_ui.stkgui b/data/gui/screens/options_ui.stkgui index 921c45b52..512a97da4 100644 --- a/data/gui/screens/options_ui.stkgui +++ b/data/gui/screens/options_ui.stkgui @@ -75,6 +75,12 @@