Fix jump to hole on destruct/construct to jump only within new genera…

…ted text (ocamllabs#784)

* jump to a hole on destruct/construct only if
    the hole is within the generated text
* ignore old arguments protocol for jump-next-hole
* add bindings for some `vscode_languageclient` functionality:
`StaticFeature`, `registerFeature`, `ClientCapabilities`
* add experimental client capability `jumpToNextHole`

src-bindings/vscode_languageclient/vscode_languageclient.ml

@@ -143,6 +143,38 @@ end
 
 module ServerOptions = Executable
 
+module ClientCapabilities = struct
+  include Interface.Make ()
+
+  include
+    [%js:
+    val experimental : t -> Jsonoo.t or_undefined [@@js.get]
+
+    val set_experimental : t -> Jsonoo.t or_undefined -> unit [@@js.set]]
+end
+
+module InitializeParams = struct
+  include Interface.Make ()
+end
+
+module StaticFeature = struct
+  include Interface.Make ()
+
+  include
+    [%js:
+    val make :
+         ?fillInitializeParams:(params:InitializeParams.t -> unit)
+      -> fillClientCapabilities:(capabilities:ClientCapabilities.t -> unit)
+      -> initialize:
+           (   capabilities:ServerCapabilities.t
+            -> documentSelector:DocumentSelector.t or_undefined
+            -> unit)
+      -> dispose:(unit -> unit)
+      -> unit
+      -> t
+      [@@js.builder]]
+end
+
 module LanguageClient = struct
   include Class.Make ()
 
@@ -173,7 +205,9 @@ module LanguageClient = struct
       -> ?token:Vscode.CancellationToken.t
       -> unit
       -> Jsonoo.t Promise.t
-      [@@js.call]]
+      [@@js.call]
+
+    val registerFeature : t -> feature:StaticFeature.t -> unit [@@js.call]]
 
   let ready_initialize_result t =
     let open Promise.Syntax in

src-bindings/vscode_languageclient/vscode_languageclient.mli

@@ -119,6 +119,33 @@ end
 
 module ServerOptions = Executable
 
+module InitializeParams : sig
+  include Js.T
+end
+
+module ClientCapabilities : sig
+  include Js.T
+
+  val experimental : t -> Jsonoo.t or_undefined
+
+  val set_experimental : t -> Jsonoo.t or_undefined -> unit
+end
+
+module StaticFeature : sig
+  include Js.T
+
+  val make :
+       ?fillInitializeParams:(params:InitializeParams.t -> unit)
+    -> fillClientCapabilities:(capabilities:ClientCapabilities.t -> unit)
+    -> initialize:
+         (   capabilities:ServerCapabilities.t
+          -> documentSelector:DocumentSelector.t or_undefined
+          -> unit)
+    -> dispose:(unit -> unit)
+    -> unit
+    -> t
+end
+
 module LanguageClient : sig
   include Js.T
 
@@ -148,4 +175,6 @@ module LanguageClient : sig
     -> ?token:Vscode.CancellationToken.t
     -> unit
     -> Jsonoo.t Promise.t
+
+  val registerFeature : t -> feature:StaticFeature.t -> unit
 end