code: def _store_gui_setting(self, databox, name):
          
          try:    databox.insert_header(name, eval(name + ".get_value()"))
          except: print("ERROR: Could not store gui setting "+repr(name))
docs: Stores the gui setting in the header of the supplied databox.
          hkeys in the file are set to have the format
          "self.controlname"