文件名称:jEdit Plugin Central-开源
文件大小:36KB
文件格式:ZIP
更新时间:2024-08-27 00:48:40
开源软件
jEdit Plugin Central 是 jEdit 文本编辑器插件的主要在线存储库。 结合这个存储库,集成的插件管理器允许 jEdit 用户在不离开编辑器的情况下安装、升级和删除插件。
【文件预览】:
Vimulator.jar
文件名称:jEdit Plugin Central-开源
文件大小:36KB
文件格式:ZIP
更新时间:2024-08-27 00:48:40
开源软件
jEdit Plugin Central 是 jEdit 文本编辑器插件的主要在线存储库。 结合这个存储库,集成的插件管理器允许 jEdit 用户在不离开编辑器的情况下安装、升级和删除插件。