diff options
| author | ChrHorn | 2022-11-04 02:17:06 +0000 |
|---|---|---|
| committer | GitHub | 2022-11-04 02:17:06 +0000 |
| commit | c667ff8da3fa664c6fe37d2da8d9d22a4dd823e1 (patch) | |
| tree | cd60b5fba7830bbdd055a6bdc2caa55755145450 | |
| parent | ba394dca6d3a5b52622c4d7b0d3aba7c30af9701 (diff) | |
Increase default language server timeout for Julia (#4575)
| -rw-r--r-- | languages.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/languages.toml b/languages.toml index adce81c5..94b3e75f 100644 --- a/languages.toml +++ b/languages.toml @@ -593,7 +593,7 @@ injection-regex = "julia" file-types = ["jl"] roots = ["Manifest.toml", "Project.toml"] comment-token = "#" -language-server = { command = "julia", args = [ +language-server = { command = "julia", timeout = 60, args = [ "--startup-file=no", "--history-file=no", "--quiet", |