feat: allow to set the URI in notify_back

This commit is contained in:
Simon Cruanes 2021-04-08 14:00:45 -04:00
parent d5b0159aa9
commit e5cb0a331b

View file

@ -36,6 +36,9 @@ module Make(IO : IO) = struct
(** A wrapper to more easily reply to notifications *)
class notify_back ~notify_back ?version ?(uri:DocumentUri.t option) () = object
val mutable uri = uri
method set_uri u = uri <- Some u
(** Send a log message to the editor *)
method send_log_msg ~type_ msg : unit IO.t =
let params = ShowMessageParams.create ~type_ ~message:msg in