diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2021-07-19 17:13:22 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2021-07-21 19:54:27 +0200 |
| commit | 155b055478eead93f70aa51994e2c56da948cc40 (patch) | |
| tree | efd310fb5860c34fa34ef0d1a6dc5107e84b59a0 /compiler/rustc_mir/src/transform/coverage/graph.rs | |
| parent | 05f2326c0570fdd64f53532a089bbbc361d190e6 (diff) | |
| download | rust-155b055478eead93f70aa51994e2c56da948cc40.tar.gz rust-155b055478eead93f70aa51994e2c56da948cc40.zip | |
rustdoc: Restore --default-theme, etc, by restoring varname escaping
In #86157
cd0f93193c84ddc6698f9b65909da71c084dcb74
Use Tera templates for rustdoc.
dropped the following transformation from the keys of the default
settings element's `data-` attribute names:
.map(|(k, v)| format!(r#" data-{}="{}""#, k.replace('-', "_"), Escape(v)))
The `Escape` part is indeed no longer needed, because Tera does that
for us. But the massaging of `-` to `_` is needed, for the (bizarre)
reasons explained in the new comments.
I have tested that the default theme function works again for me. I
have also verified that passing
--default-theme="zork&"
escapes the value in the HTML.
Closes #87263.
CC: Jacob Hoffman-Andrews <github@hoffman-andrews.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions