diff options
| author | Pascal Hertleif <[email protected]> | 2019-05-23 18:42:42 +0100 |
|---|---|---|
| committer | Pascal Hertleif <[email protected]> | 2019-05-27 10:26:33 +0100 |
| commit | 5bf3e949e8470a138a61c806769e1a329761cab6 (patch) | |
| tree | 9885346944b4aa82804514580944673a53605ee2 /.vscode/launch.json | |
| parent | 4b48cff022a1606bde596f01fbf44361640b10d8 (diff) | |
Semantic highlighting spike
Very simple approach: For each identifier, set the hash of the range
where it's defined as its 'id' and use it in the VSCode extension to
generate unique colors.
Thus, the generated colors are per-file. They are also quite fragile,
and I'm not entirely sure why. Looks like we need to make sure the
same ranges aren't overwritten by a later request?
Diffstat (limited to '.vscode/launch.json')
0 files changed, 0 insertions, 0 deletions