Strip "metals." prefix from workspace/executeCommand requests.

This allows clients to optionally choose whether to include a `"metals."` prefix or not. Fixes #838.
scalameta · Oct 17, 2019 · 2aeedc7 · 2aeedc7
1 parent 616c101
commit 2aeedc7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/metals/src/main/scala/scala/meta/internal/metals/MetalsLanguageServer.scala b/metals/src/main/scala/scala/meta/internal/metals/MetalsLanguageServer.scala
@@ -1055,7 +1055,8 @@ class MetalsLanguageServer(
       params: ExecuteCommandParams
   ): CompletableFuture[Object] = {
     import JsonParser._
-    params.getCommand match {
+    val command = Option(params.getCommand).getOrElse("")
+    command.stripPrefix("metals.") match {
       case ServerCommands.ScanWorkspaceSources() =>
         Future {
           indexWorkspaceSources()