Add getter and setters to StateOfGUI