Изисква се браузър Opera.
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.
- Това разширение може да осъществява достъп до данните ви в някои сайтове.
Снимки
Относно разширението
- Сваляния
- 632
- Категория
- Developer Tools
- Версия
- 1.2
- Големина
- 96,1 KБ
- Last update
- 25 Юли 2022
- Лиценз
- Страница с изходния код
- https://github.com/TheDavidDelta/myJDoc
Related
-
Pixel converter
Pixel converter is a crucial web development and design tool for converting pixel values into different measurement units like inches, centimeters, or percentages, ensuring consistency across diverse devices and screens in responsive web design.
Оценка: Общ брой оценки: 0
-
(X)HTML5 Checker
A small extension to validate the markup of current tab
Оценка: Общ брой оценки: 5
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Оценка: Общ брой оценки: 154
-
View Page Source
Get access to the page source with the click of a button.
Оценка: Общ брой оценки: 4
-
Picture in Play
Indicates whether the `picture` element is in use on a page.
Оценка: Общ брой оценки: 7