diff options
author | Philipp Mildenberger | 2023-03-20 00:18:08 +0000 |
---|---|---|
committer | Philipp Mildenberger | 2023-05-18 19:58:17 +0000 |
commit | 451fe528bbc71e2712c02c1ee0d7ac6fcc1a058b (patch) | |
tree | 03cbf0b1555b66d447b255d9f98c6cfc2d90cc46 /base16_theme.toml | |
parent | 8ee599942a0e5ff6fa1a908ca076785e0d2bd0c7 (diff) |
Filter out already seen language servers in requests that can be sent to multiple language servers (code-action, completion, symbol pickers)
Diffstat (limited to 'base16_theme.toml')
0 files changed, 0 insertions, 0 deletions