4 exception Invalid_URL of string
7 ?use_hint_callback: (hint -> unit) -> (* default = do nothing *)
8 ?destroy_callback: (unit -> unit) -> (* default = do nothing *)
12 method show : unit -> unit
13 method hide : unit -> unit
15 method setUseHintCallback : (hint -> unit) -> unit
16 method registerToBroker : unit -> unit
17 method unregisterFromBroker : unit -> unit
18 method subscribeAll : unit -> unit
20 method stateChange : state option -> unit
22 (** @return an hint by index *)
23 method hint : int -> hint