Code Editor : GnomeGUISupport.h