diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-18 14:23:14 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-18 14:23:14 +0100 |
| commit | f7f627d342e89585350e9c8b42764d207eb33352 (patch) | |
| tree | 800d91a03a1ea7d1678c95a48f2888327f952122 /docs | |
| parent | 0262dba97ef114bd7664a4e32be21caef2d63f0a (diff) | |
| parent | 66fc084a86e8f5d207d63e33173d1e203cb5ce5e (diff) | |
Merge #4903
4903: Add highlighting support for doc comments r=matklad a=Nashenas88
The language server protocol includes a semantic modifier for documentation. This change exports that modifier for doc comments so users can choose to highlight them differently compared to regular comments.
Example:
<img width="375" alt="Screen Shot 2020-06-16 at 10 34 14 AM" src="https://user-images.githubusercontent.com/1673130/84788271-f6599580-afbc-11ea-96e5-7a0215da620b.png">
CC @woody77
Co-authored-by: Paul Daniel Faria <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions