Skip to content
Gerold 'Geri' Broser edited this page Dec 18, 2019 · 7 revisions

Userscripts

This repository contains userscripts for Tampermonkey, Greasemonkey, etc.

Available Scripts

  • 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+.

    Installation

    Easiest & Quickest

    1. Go to the scripts page and select Raw there. This should start the installation process of your browser's userscript add-on
    2. Install
    3. Enjoy!

    Less easy & quick

    1. Create a new userscript in your browser's userscript add-on
    2. Go to the scripts page and select all the code there (with the mouse, not with Ctrl+A!)
    3. Ctrl+C to clipboard
    4. Go to the new userscript created at i. above
    5. Ctrl+A to select all (template) code there
    6. Ctrl+V to overwrite with the script's code
    7. Ctrl+S to save
    8. Enjoy!
Clone this wiki locally