diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-06-26 19:47:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-26 19:47:03 +0200 |
| commit | df26fdf3e1667e7ea2e442bb554aa9632677c862 (patch) | |
| tree | b2ba1a0e668507a38c9c3d6bc0036452ba32002a /compiler/rustc_parse/src/parser | |
| parent | e8a2e265b520e7bf72b4335a7d1185484366f0cf (diff) | |
| parent | e4b2b41290f6b49441b5b9c8e013458bc23caeeb (diff) | |
| download | rust-df26fdf3e1667e7ea2e442bb554aa9632677c862.tar.gz rust-df26fdf3e1667e7ea2e442bb554aa9632677c862.zip | |
Rollup merge of #98297 - GuillaumeGomez:help-pocket-menu, r=notriddle
Transform help popup into a pocket menu Just like we moved the settings menu into a "pocket menu", it's doing the same to the help popup. You can test it [here](https://rustdoc.crud.net/imperio/help-pocket-menu/doc/foo/index.html) and here is a screenshot:  r? ``````````@jsha``````````
Diffstat (limited to 'compiler/rustc_parse/src/parser')
0 files changed, 0 insertions, 0 deletions