I prefer #1, and am not a fan of disappearing page parts. Stephen
On Wed, 9 Oct 2019 at 18:31, Hannes Wallnöfer <hannes.wallnoe...@oracle.com> wrote: > > The javadoc team is considering changes to the UI of javadoc generated pages, > specifically the behaviour of the top navigation bar and navigating to > anchors within a page. Since this would affect all JDK users we thought it > was a good idea to present/discuss the alternatives here on jdk-dev. > > The feedback we are looking for: > > - What do you prefer for scrolling up and down a page? Do you find the moving > parts useful or distracting? > - Which version is best for navigating to an anchor within a page (e.g. > member search or internal links)? > - Do you experience any technical problems with your particular browser? > > Here are the three versions: > > Version 1 is the conservative fix, it retains the fixed navigation bar, > changes are mostly under the hood: > > http://cr.openjdk.java.net/~hannesw/8223378/api.00/ > > Version 2: When scrolling down, the navigation bar slides upwards and > disappears. When scrolling back up or starting to type for a search, it > slides back in again. > > http://cr.openjdk.java.net/~hannesw/8230852/api.04/ > > Version 3: Like version 2, but the part of the navigation bar that contains > the search box and page-local links always remains visible. There’s an arrow > symbol on the left to make the full navigation bar reappear. > > http://cr.openjdk.java.net/~hannesw/8230852/api.03/ > > Hannes >
