mirror of
https://github.com/c-cube/linol.git
synced 2025-12-06 11:15:46 -05:00
[#24] Expose get_uri for notify_back
Problem: As in #24, it's impossible to extract `uri` variable from `notify_back`, but sometimes we want to do this Solution: Add `method get_uri = uri` to notify_back
This commit is contained in:
parent
e50388a3be
commit
bb92d7d73b
1 changed files with 2 additions and 0 deletions
|
|
@ -80,6 +80,7 @@ module Make (IO : IO) = struct
|
||||||
object
|
object
|
||||||
val mutable uri = uri
|
val mutable uri = uri
|
||||||
method set_uri u = uri <- Some u
|
method set_uri u = uri <- Some u
|
||||||
|
method get_uri = uri
|
||||||
|
|
||||||
method send_log_msg ~type_ msg : unit IO.t =
|
method send_log_msg ~type_ msg : unit IO.t =
|
||||||
let params = LogMessageParams.create ~type_ ~message:msg in
|
let params = LogMessageParams.create ~type_ ~message:msg in
|
||||||
|
|
@ -162,6 +163,7 @@ module Make (IO : IO) = struct
|
||||||
`Running
|
`Running
|
||||||
|
|
||||||
val docs : (DocumentUri.t, doc_state) Hashtbl.t = Hashtbl.create 16
|
val docs : (DocumentUri.t, doc_state) Hashtbl.t = Hashtbl.create 16
|
||||||
|
|
||||||
method get_status = status
|
method get_status = status
|
||||||
(** Check if exit or shutdown request was made by the client.
|
(** Check if exit or shutdown request was made by the client.
|
||||||
@since NEXT_RELEASE *)
|
@since NEXT_RELEASE *)
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue