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