diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-07-22 13:39:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-22 13:39:22 +0200 |
| commit | 8dba89823ac4994837b632fe63ce582a60addcd6 (patch) | |
| tree | f09c7e40085a85ff102f05d50cbf7303275fd689 /compiler/rustc_mir/src/transform/coverage/graph.rs | |
| parent | e16d023a5e9fc26112699ef3ad5bbc9c5b55ab38 (diff) | |
| parent | df6bdd764a6b3bbef2f59f1dda37cfa81972d4fd (diff) | |
| download | rust-8dba89823ac4994837b632fe63ce582a60addcd6.tar.gz rust-8dba89823ac4994837b632fe63ce582a60addcd6.zip | |
Rollup merge of #87288 - ijackson:rustdoc-theme, r=GuillaumeGomez
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 (in shell syntax)
'--default-theme="zork&"'
escapes the value in the HTML.
Closes #87263
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions