Make the left/right nav bars sticky

[alan-knight]

If I'm looking at something large, e.g. https://new-dartdocs-dot-dartlang-api.appspot.com/1.12.0-dev.5.1/dart-html/Element-class.html

and I want to find something in the index, say, a method, it's difficult to navigate. I have to hit page-down 7 times before I can see querySelectorAll, and there's not a way I can see to jump to the methods section.

[sethladd]

does the top-nav "tabs" work for you?

[alan-knight]

Oh yeah, didn't notice those. But I was really looking for it for the index. So in a class with a lot of properties, I might want to scan the list of properties, and the index is more convenient than the full list. For example, what's the list of events in Element. I'm not sure what the one I'm looking for is called, or even if it exists.

Also, I think it would be better if those nav tabs were pinned to the top. If I'm down in the properties and realize I want a method, I have to scroll back to the top to get them.

[sethladd]

what's the list of events in Element.

How would we signal that in the UI? There's no language construct for "events"

I think it would be better if those nav tabs were pinned to the top

That's true. It's a tweak we hope to make.

Not sure what to do with this issue. We can open a specific issue for "show tabs on top, if user scrolls". I don't think we're going to do anything about other ways to nav, because we have the list of main sections at the top already.

[alan-knight]

I was just using events as an example of why I might want to scan the list of properties. For html elements that's usually a good percentage of the properties. So I just wanted the ability to jump quickly to the properties, which the top nav does give me, but better if it's always visible.

[sethladd]

Agreed. We'd like to make those "table of contents" links visible even when the masthead is scrolled out of view.

[keertip]

We should make the left/right navs sticky to make navigation easier, especially when #1181 lands and pages are more verbose.

[Hixie]

For Flutter's purposes, I think this is probably more like a P2 than a P1 compared to the other P1s.