diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-10 12:45:07 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-10 12:45:07 +0000 |
| commit | 77362c71735a8b5ab4b5cd9f396fa657fbffe2cb (patch) | |
| tree | 8c47a7929d15e6e4b36a854a662c3ea5ee7d972c /docs/dev | |
| parent | dcbb77cb6c75db9b300abe0fe6ed4668e2ef1193 (diff) | |
| parent | 78fe6133c4908aefcf5c690e665abba9ef2389eb (diff) | |
Merge #6238
6238: Split punctuation semantic highlighting up into more tags r=matklad a=Veykril
Open question would be the name of the delimiter modifiers. I chose them this was as I see them this way but from what I remember people tend to mix the names however they like. So maybe using `delimSquare`, `delimCurly`, `delimRound` would be better. That would also go well with `angle` becoming `delimAngle`?
Closes #6152
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions