开发者 plugins.jedit.org/

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