Type:	Map[string,string]
	mapping from string to string
Name:	gui_config
	gui-specific configuration for pool

Field is read-write

• Map[string,string] get_gui_config (session session_id, pool self)

  Get the gui_config field of the given pool.

• void set_gui_config (session session_id, pool self, Map[string,string] value)

  Set the gui_config field of the given pool.

• void add_to_gui_config (session session_id, pool self, string key, string value)

  Add the given key-value pair to the gui_config field of the given pool.

• void remove_from_gui_config (session session_id, pool self, string key)

  Remove the given key and its corresponding value from the gui_config field of the given pool. If the key is not in that Map, then do nothing.