fa421b43c7
It makes a lot of sense there too, and it makes the UI settings less crowded. This allows also to put the label as a section title, fixing an overflow that happened with some translations when using the very large font size. |
||
---|---|---|
.. | ||
options_audio.stkgui | ||
options_device.stkgui | ||
options_display.stkgui | ||
options_general.stkgui | ||
options_input.stkgui | ||
options_language.stkgui | ||
options_ui.stkgui | ||
options_video.stkgui | ||
user_screen_tab.stkgui |