RFR: 8248566: Make API docs more usable on mobile browsers

Please review: JBS: https://bugs.openjdk.java.net/browse/JDK-8248566 Webrev: http://cr.openjdk.java.net/~hannesw/8248566/webrev.01/ API docs: http://cr.openjdk.java.net/~hannesw/8248566/api.01/ This is by no means a complete solution to all problems of API docs on small browsers, but it is a fir

RFR: 8249133: Javadoc: Browser back navigation does not jump to previous position anymore

Please review: JBS: https://bugs.openjdk.java.net/browse/JDK-8249133 Webrev: http://cr.openjdk.java.net/~hannesw/8249133/webrev.00/ API docs: http://cr.openjdk.java.net/~hannesw/8249133/api.00/ This patch makes use of the browser History API to add the current scroll position to the browser hist

Re: RFR: 8249133: Javadoc: Browser back navigation does not jump to previous position anymore

Unfortunately I removed a line from my patch that is needed after all. New webrev and API docs below. I also added a comment to explain the purpose of the code. Webrev: http://cr.openjdk.java.net/~hannesw/8249133/webrev.01/ API docs: http://cr.openjdk.java.net/~hannesw/8249133/api.01/ Hannes

Re: RFR: 8249133: Javadoc: Browser back navigation does not jump to previous position anymore

OK, I'm not an expert in this area, but the fix looks reasonable, and the API docs work better than before. Like you, I dislike a JavaScript solution, so while we should go ahead with this for now, let's monitor the situation to see if this problem gets more attention in the browsers.  I stil