Changing menu bar on mobile #1120
Labels
A-frontend
Area: Web frontend
A-rustdoc-css
Area: CSS generated by rustdoc for documentation pages
C-enhancement
Category: This is a new feature
Related to #1103, #1104, #1096.
We've been talking about ways to make menus behave nicely across both desktop and mobile, where the desktop version uses click-to-open, and the mobile version uses links that take you to a separate page with equivalent functionality to the menu. It's definitely doable, but I wanted to step back and see if we want to change the mobile menus more dramatically.
As you can see above, we have a bit of a confusing two-menu system. There's the docs.rs top menu, and the rustdoc hamburger menu. I know it's hard to reach into the internals of rustdoc from docs.rs, but it would be great to combine them! Then we could put all of the extra options behind the hamburger menu, where there's enough room to give them labels so people know what they do.
On a similar note, I was thinking about "what are the most important and common things people want to do" and "what pieces of context are most important."
For "what context is important," I think the main thing that people need to know if they in the middle of a docs.rs page is
For "what actions that might be in a menu are important," I think it's:
Anyhow, lemme know if you find the idea appealing, and we can brainstorm ways to do it.
The text was updated successfully, but these errors were encountered: