Необходим браузер 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.
- У этого расширения есть доступ к вашим данным на некоторых сайтах.
Снимки
О расширении
- Загрузки
- 612
- Категория
- Инструменты разработчика
- Версия
- 1.2
- Размер
- 96,1 КБ
- Обновлено
- 25 июля 2022 г.
- Лицензионное соглашение
- Страница исходного кода
- https://github.com/TheDavidDelta/myJDoc
Похожие
-
Yandex Wordstat Regions
Расширение, возвращает полное дерево регионов РФ в сервис подбора слов Яндекс (wordstat)
Оценка: Всего оценок: 2
-
EditThisCookie
EditThisCookie - это менеджер cookie. Вы можете добавлять, удалять, изменять, искать, защищать и блокировать cookie!
Оценка: Всего оценок: 117
-
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.
Оценка: Всего оценок: 6
-
Image Resizer
Rescale multiple images into different sizes in a single step
Оценка: Всего оценок: 2
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Оценка: Всего оценок: 152