diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-24 14:46:41 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-24 14:46:41 +0000 |
commit | 581419fd785a33fee7797d064dc0f5ddf2235300 (patch) | |
tree | 98076e334f6ba1b0e42f2d5f086df1f951be145b /editors/code | |
parent | a31ee54afa5edfc3c470e3b1cdb5a553c0176d33 (diff) | |
parent | 42e3f97c300c24b6ff9ff96ad0c24d386d3a253b (diff) |
Merge #7030
7030: Support labels in reference search r=matklad a=Veykril
Implements general navigation for labels, goto def, rename and gives labels their own semantic highlighting class.
Fixes #6966
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions