class type config = object endmethod args_spec : (string * Arg.spec * string) listmethod color_connected : stringmethod color_connected_temp : stringmethod color_myself : stringmethod color_not_connected : stringmethod dialog_buttons : boolmethod id : stringmethod people : (string * string * int) listmethod popup_all : boolmethod port : intmethod save : unitmethod set_color_connected : string -> unitmethod set_color_connected_temp : string -> unitmethod set_color_myself : string -> unitmethod set_color_not_connected : string -> unitmethod set_dialog_buttons : bool -> unitmethod set_id : string -> unitmethod set_people : (id * host * port) list -> unitmethod set_popup_all : bool -> unitmethod set_port : int -> unitmethod set_timeout : int -> unitmethod timeout : intmethod set_send_timeout : int -> unitmethod send_timeout : intmethod second_send_timeout : float