diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-06 02:44:38 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-06 02:44:38 +0100 |
| commit | f1d507270c7d915ef0177feca7b6745d95169ac8 (patch) | |
| tree | f2c039eba062235b458686151441530051723d5f /editors | |
| parent | 2cb079ba9add594908f40d48ee2c9ac553306b33 (diff) | |
| parent | 195111d7698c39fb4d653da3a39a8cb52c9260e4 (diff) | |
Merge #5526
5526: Handle semantic token deltas r=kjeremy a=kjeremy
This basically takes the naive approach where we always compute the tokens but save space sending over the wire which apparently solves some GC problems with vscode.
This is waiting for https://github.com/gluon-lang/lsp-types/pull/174 to be merged. I am also unsure of the best way to stash the tokens into `DocumentData` in a safe manner.
Co-authored-by: kjeremy <[email protected]>
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions