Edit File: GnomeGUISupport.h