jEdit Plugin Central-开源

【文件属性】：

文件名称：jEdit Plugin Central-开源

文件大小：36KB

文件格式：ZIP

更新时间：2024-08-27 00:48:40

开源软件

jEdit Plugin Central 是 jEdit 文本编辑器插件的主要在线存储库。 结合这个存储库，集成的插件管理器允许 jEdit 用户在不离开编辑器的情况下安装、升级和删除插件。

【文件预览】：
Vimulator.jar