Refactoring: make GUIOptions even simpler