diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-24 06:22:23 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-24 06:22:23 +0100 |
commit | c544f9a137bd675fd6e9cc4c244ff4366ededb50 (patch) | |
tree | dbf501f61f5e77234901aff49ebd2a0bbf5ae4cd /.github/actions/github-release/package.json | |
parent | 471d44e72c54882cff2e00c662ee74d8c7c94234 (diff) | |
parent | 0d87eee3a9d3950cd02a80bf3974b4b165c5a76c (diff) |
Merge #4940
4940: Add support for marking doctest items as distinct from normal code r=ltentrup a=Nashenas88
This adds `HighlightTag::Generic | HighlightModifier::Injected` as the default highlight for all elements within a doctest. Please feel free to suggest that a new tag be created or a different one used.
![Screenshot from 2020-06-23 09-18-13](https://user-images.githubusercontent.com/1673130/85408493-9752ce00-b532-11ea-94fe-197353ccc778.png)
Fixes #4929
Fixes #4939
Co-authored-by: Paul Daniel Faria <[email protected]>
Co-authored-by: Paul Daniel Faria <[email protected]>
Diffstat (limited to '.github/actions/github-release/package.json')
0 files changed, 0 insertions, 0 deletions