diff options
| author | w0rp <devw0rp@gmail.com> | 2023-09-14 00:38:12 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2023-09-14 00:40:56 +0100 |
| commit | be69af270547b0d1dd5fe947efb3f61455f709ed (patch) | |
| tree | 3d72ab429ed3d6025fb88accbd2be753fb78f26a /ale_linters/dafny/dafny.vim | |
| parent | 9092af9ad6a5c93a759be571323ea1d0cafa8d6e (diff) | |
| download | ale-be69af270547b0d1dd5fe947efb3f61455f709ed.zip | |
#4607 No conflicts with nvim-lspconfig by default
Default `g:ale_disable_lsp` to a new mode `'auto'` by default. With this
setting applied, ALE will now check for the presence of nvim-lspconfig
and automatically turn off particular LSP linters if already configured
via nvim-lspconfig.
For users that do not use `nvim-lspconfig`, everything should work as
before.
Diffstat (limited to 'ale_linters/dafny/dafny.vim')
| -rw-r--r-- | ale_linters/dafny/dafny.vim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ale_linters/dafny/dafny.vim b/ale_linters/dafny/dafny.vim index 2a9f761a..8a114d22 100644 --- a/ale_linters/dafny/dafny.vim +++ b/ale_linters/dafny/dafny.vim @@ -1,4 +1,5 @@ " Author: Taylor Blau <me@ttaylorr.com> +call ale#Set('dafny_dafny_timelimit', 10) function! ale_linters#dafny#dafny#Handle(buffer, lines) abort let l:pattern = '\v(.*)\((\d+),(\d+)\): (.*): (.*)' @@ -31,7 +32,6 @@ function! ale_linters#dafny#dafny#GetCommand(buffer) abort return printf('dafny %%s /compile:0 /timeLimit:%d', ale#Var(a:buffer, 'dafny_dafny_timelimit')) endfunction -call ale#Set('dafny_dafny_timelimit', 10) call ale#linter#Define('dafny', { \ 'name': 'dafny', \ 'executable': 'dafny', |