Le navigateur Opera est requis.
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.
Saisies d'écran
À propos de l'extension
- Téléchargements
- 612
- Catégorie
- Outils de développement
- Version
- 1.2
- Taille
- 96,1 Kio
- Dernière mise à jour
- 25 juillet 2022
- Conditions d'utilisation
- Page source
- https://github.com/TheDavidDelta/myJDoc
Related
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Pointage: Nombre maximal d'évaluations: 152
-
SEO-tools
SEO-tools - information about domains, site audit for SEO errors, as well as technical audit of any page. Over 100 online services
Pointage: Nombre maximal d'évaluations: 20
-
Custom Style Script
Add Custom JavaScript (JS) Code or Styles (CSS) to any page.
Pointage: Nombre maximal d'évaluations: 14
-
StyleMaster
Добавление пользовательских стилей CSS на веб-сайты
Pointage: Nombre maximal d'évaluations: 1
-
DomainUserAgent
This extension changes the UserAgent sent by your browser on a per-domain base. You can set up a different UserAgent for a specific domain, but still use the default one otherwise.
Pointage: Nombre maximal d'évaluations: 6