Le navigateur Opera est nécessaire.
This extension automatically changes JavaDocs to a selected version from every other one.
· For JavaSE, version defaults to 8, and conversion to 11+ only works from 11+.
· For JavaEE, selecting versions over current max (7) automatically redirect to 7.
· For JavaFX, 11+ versions (out of Oracle docs) aren't supported.
The addon makes use of a small window for selecting the prefered version and for turning the extension on/off. It perfoms the update using some simple JS "replace" functions.
- Cette extension peut accéder à vos données sur certains sites.
Copies d'écran
À propos de l'extension
- Téléchargements
- 658
- Catégorie
- Outils de développement
- Version
- 1.2
- Taille
- 96,1 Kio
- Dernière mise à jour
- 25 juillet 2022
- Licence
- Page du code source
- https://github.com/TheDavidDelta/myJDoc
Similaires
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Note : Nombre total de notes : 126
-
Open in Google Chrome
Open current page, link, or all tabs in the Chrome browser.
Note : Nombre total de notes : 76
-
EditThisCookie
EditThisCookie est un gestionnaire de cookies. Vous pouvez ajouter,supprimer,modifier,rechercher,protéger et bloquer les cookies!
Note : Nombre total de notes : 119
-
Open in GIMP photo editor
Adds context menu items to send image links and image files directly to the GIMP photo editor
Note : Nombre total de notes : 8
-
Copy Title And Url
Copy the title and url in markdown, pukiwiki, html format.
Note : Nombre total de notes : 0