diff options
| author | w0rp <devw0rp@gmail.com> | 2020-08-27 08:44:43 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2020-08-27 08:44:43 +0100 |
| commit | 396fba7cca5bb6cd5774173241e3e606045e1c46 (patch) | |
| tree | b72687eee6fd139630e53660f5faa55124a84f03 /ale_linters/dafny | |
| parent | 3e2abe3f25493af63af91a6013447e378e09f6ec (diff) | |
| download | ale-396fba7cca5bb6cd5774173241e3e606045e1c46.zip | |
Fix #3312 - Fix a false positive for auto imports
ALE was incorrectly detecting completion results from servers such as
rust-analyzer as wanting to add import lines when additionalTextEdits
was present, but empty.
Now ALE only filters out completion results if the autoimport setting is
off, and one of the additionalTextEdits starts on some line other than
the current line. If any additionalTextEdits happen to be identical to
the change from completion anyway, ALE will skip them.
Diffstat (limited to 'ale_linters/dafny')
0 files changed, 0 insertions, 0 deletions