diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-24 13:47:27 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-24 13:47:27 +0000 |
commit | b052059f868e4b890425c43e1e16d195d3c453d9 (patch) | |
tree | d761a1ec0346286f20c511ff8f76111313d30957 /.gitignore | |
parent | d77520fde3c953968beb09a3da80a0e7b17bbc04 (diff) | |
parent | ecab036d6ffcb85c45a288b312d79141bcd86fd9 (diff) |
Merge #302
302: WIP: Support tracing lsp requests. r=DJMcNab a=DJMcNab
EDIT: We need to work out a better way to handle settings before this can be merged. Help wanted
TODO: Debug why decorations are sent even when highlightingOn is disabled
This makes the log volume so high its impossible to work with anyway.
(Continuation of #84 [#99 only disabled using it, not making sure we don't send it]).
These logs can be used in https://microsoft.github.io/language-server-protocol/inspector/
Co-authored-by: DJMcNab <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions