diff options
author | Ayoub Benali | 2023-01-16 16:03:03 +0000 |
---|---|---|
committer | GitHub | 2023-01-16 16:03:03 +0000 |
commit | 97083f88364e1455f42023dadadfb410fd476505 (patch) | |
tree | 72f2bb9d4eaa0a241d604c5cda65ac54d51a8682 | |
parent | 7bdba4a6bff99a89c0256889222f7bba5bfb1130 (diff) |
Enable http server by default in Metals config (#5551)
This is required to make commands like [doctor-run](https://scalameta.org/metals/docs/integrations/new-editor#run-doctor) work.
It simply opens a browser to get general information about the build.
Co-authored-by: Ayoub Benali <ayoub.benali@xing.com>
-rw-r--r-- | languages.toml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/languages.toml b/languages.toml index 6d016902..a66605b2 100644 --- a/languages.toml +++ b/languages.toml @@ -1061,6 +1061,7 @@ file-types = ["scala", "sbt", "sc"] comment-token = "//" indent = { tab-width = 2, unit = " " } language-server = { command = "metals" } +config = { "isHttpEnabled" = true } [[grammar]] name = "scala" @@ -2106,4 +2107,4 @@ formatter = { command = "dhall" , args = ["format"] } [[grammar]] name = "dhall" -source = { git = "https://github.com/jbellerb/tree-sitter-dhall", rev = "affb6ee38d629c9296749767ab832d69bb0d9ea8" }
\ No newline at end of file +source = { git = "https://github.com/jbellerb/tree-sitter-dhall", rev = "affb6ee38d629c9296749767ab832d69bb0d9ea8" } |