exception Invalid_URL of string
+ (*
+ @param use_hint_callback is called when the user double click on a hint
+ (default: do nothing)
+ @param describe_hint_callback is called when the user click on a hint
+ (default: do nothing)
+ *)
class hbugsClient :
- ?use_hint_callback: (hint -> unit) -> (* default = do nothing *)
- ?destroy_callback: (unit -> unit) -> (* default = do nothing *)
+ ?use_hint_callback: (hint -> unit) ->
+ ?describe_hint_callback: (hint -> unit) ->
+ ?destroy_callback: (unit -> unit) ->
unit ->
object