modified:   data/gui/options_ui.stkgui
	modified:   src/config/user_config.hpp