diff options
| author | kjeremy <[email protected]> | 2020-10-23 22:36:22 +0100 |
|---|---|---|
| committer | kjeremy <[email protected]> | 2020-10-26 13:23:34 +0000 |
| commit | 2d4be2ef2a12886c526c07ad411406393c2c4b7e (patch) | |
| tree | 1d3bf49b3c35cf59553e4e6d41a85166cf49e39c /editors | |
| parent | 5444978f682b9a5e437e1080fb9343f2d66e1804 (diff) | |
Request a refresh of semantic tokens if things are loaded up
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions