-
Notifications
You must be signed in to change notification settings - Fork 2
Home
Gerold 'Geri' Broser edited this page Dec 18, 2019
·
7 revisions
This repository contains userscripts for Tampermonkey, Greasemonkey, etc.
-
JANITOR – Java API Navigation Is The Optimal Rescue
Inserts a navigation tree for modules, packages and types (interfaces, classes, enums, exceptions, errors, annotations) into the Javadoc pages of Java 11+.
- Go to the scripts page and select Raw there. This should start the installation process of your browser's userscript add-on
- Install
- Enjoy!
- Create a new userscript in your browser's userscript add-on
- Go to the scripts page and select all the code there (with the mouse, not with Ctrl+A!)
- Ctrl+C to clipboard
- Go to the new userscript created at i. above
- Ctrl+A to select all (template) code there
- Ctrl+V to overwrite with the script's code
- Ctrl+S to save
- Enjoy!