Skip to content

Instantly share code, notes, and snippets.

@mapio

mapio/bookmarklet.js

Last active June 19, 2021 13:31
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mapio/4601cb6dc4622f5b8630 to your computer and use it in GitHub Desktop.
Save mapio/4601cb6dc4622f5b8630 to your computer and use it in GitHub Desktop.
Download ZIP
A bookmarklet to go from Java 7 APIs documentation to Java 8 APIs documentation
Raw
bookmarklet.js
javascript:window.location.assign(window.location.href.replace( /javase\/7\//, 'javase/8/' ));
@mapio
Copy link
Author

mapio commented Feb 24, 2015

Drag the above javascript to the bookmark tab.

Then, when viewing a Java API documentation page for Java 7, hit the bookmark to replace the page with the corresponding one for Java 8.

For instance, if you are viewing

http://docs.oracle.com/javase/7/docs/api/java/util/Comparator.html

hitting the bookmarklet will take you to

http://docs.oracle.com/javase/8/docs/api/java/util/Comparator.html

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment