settingsGUI: remove uneeded code.