diff options
| author | Michael Davis | 2022-12-09 01:54:15 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-12-15 08:52:44 +0000 |
| commit | 2a60de74f9ccc935fa65031cfe30c62cf07bbbaf (patch) | |
| tree | ab2f0100d35158d7e12044882ada9098761a1a73 /runtime/themes/monokai_pro_machine.toml | |
| parent | 35cf972ce459eda6ceffb7a7c256a4bc9f4e6e39 (diff) | |
workspace symbols: Default to empty Vec on None
A language server might send None as the response to workspace symbols.
We should treat this as the empty Vec rather than the server sending
an error status. This fixes the interaction with gopls which uses
None to mean no matching symbols.
Diffstat (limited to 'runtime/themes/monokai_pro_machine.toml')
0 files changed, 0 insertions, 0 deletions