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 /crates/ra_ide/src/snapshots/highlight_injection.html | |
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 'crates/ra_ide/src/snapshots/highlight_injection.html')
-rw-r--r-- | crates/ra_ide/src/snapshots/highlight_injection.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/ra_ide/src/snapshots/highlight_injection.html b/crates/ra_ide/src/snapshots/highlight_injection.html index 47dbd7bc8..1b0349bae 100644 --- a/crates/ra_ide/src/snapshots/highlight_injection.html +++ b/crates/ra_ide/src/snapshots/highlight_injection.html | |||
@@ -5,6 +5,8 @@ pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padd | |||
5 | 5 | ||
6 | .lifetime { color: #DFAF8F; font-style: italic; } | 6 | .lifetime { color: #DFAF8F; font-style: italic; } |
7 | .comment { color: #7F9F7F; } | 7 | .comment { color: #7F9F7F; } |
8 | .documentation { color: #629755; } | ||
9 | .injected { opacity: 0.65 ; } | ||
8 | .struct, .enum { color: #7CB8BB; } | 10 | .struct, .enum { color: #7CB8BB; } |
9 | .enum_variant { color: #BDE0F3; } | 11 | .enum_variant { color: #BDE0F3; } |
10 | .string_literal { color: #CC9393; } | 12 | .string_literal { color: #CC9393; } |