JEdit

2021年12月30日 (四) 10:07的最后版本

您可以在Wikipedia上了解到此条目的英文信息 JEdit Thanks, Wikipedia.

jEdit

[编辑] 简介

jEdit 是一个用 Java 开发的文本编辑器。

[编辑] 功能

jEdit 也有很方便的宏定义功能，可以用 BeanShell、Jython 和 JavaScript 等脚本语言。

[编辑] 指南

[编辑] 项目

• Isabelle

[编辑] 截图

• 
• 
• 
• 
• 

  isabelle

• 

  isabelle插件

[编辑] 链接

• jEdit主页
• jEdit在Sourceforge