on master help sign in
Increase default language server timeout for Julia (#4575)
commitc667ff8da3fa664c6fe37d2da8d9d22a4dd823e1 authorChrHorn <christoph-horn@hotmail.de> dateFri 4 Nov 2022, 03:17 (4 years ago) parentba394dc
1 file changed+1−1
languages.toml+1−1
languages.toml+1−1
@@ -593,7 +593,7 @@ injection-regex = "julia"
593593file-types = ["jl"]
594594roots = ["Manifest.toml", "Project.toml"]
595595comment-token = "#"
596−language-server = { command = "julia", args = [
596+language-server = { command = "julia", timeout = 60, args = [
597597 "--startup-file=no",
598598 "--history-file=no",
599599 "--quiet",