需要使用 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.
- 此扩展可访问您在某些网站上的数据。
屏幕截图
关于此扩展
- 下载次数
- 628
- 类别
- Developer Tools
- 版本
- 1.2
- 大小
- 96.1 KB
- Last update
- July 25, 2022
- 许可证
- 源代码
- https://github.com/TheDavidDelta/myJDoc
相关
-
Open in Pale Moon
Open current page, link, or all tabs in the Pale Moon browser.
评分: 总评分次数: 2
-
showHTML
This extension shows information about HTML elements on a web page when you hover over them.
评分: 总评分次数: 5
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
评分: 总评分次数: 154
-
Reddit to Mp4 converter | reditor
redditdownloader.us allows users to download Reddit videos with audio in high quality.
评分: 总评分次数: 2
-
GrabzIt Web Scraping Assistant
Create Web Scrapes online easier than ever before with GrabzIt's Web Scraping Assistant.
评分: 总评分次数: 2