JEdit

2021年12月25日 (六) 03:03的版本

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

jEdit

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

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

@@ 第1行： / 第1行： @@
-{{top news}}
 {{SeeWikipedia}}
-jEdit是一个用[[Java]]开发的文本编辑器。
+jEdit
-jEdit也有很方便的宏定义功能，可以用[[BeanShell]]、[[Jython]]和[[JavaScript]]等脚本语言。
+==简介==
+jEdit 是一个用 [[Java]] 开发的文本编辑器。
+==功能==
+jEdit 也有很方便的宏定义功能，可以用 [[BeanShell]]、[[Jython]] 和 [[JavaScript]] 等脚本语言。
+==指南==
+==项目==
+*[https://www.cl.cam.ac.uk/research/hvg/Isabelle/ Isabelle]
 ==截图==
@@ 第12行： / 第20行： @@
 Image:jedit-screenshot-03.png
 Image:jedit-screenshot-04.png
+image:isabelle.png|isabelle
+image:isabelle-plugin-manager.png|isabelle插件
 </gallery>
@@ 第18行： / 第28行： @@
 *[http://www.sourceforge.net/projects/jedit/ jEdit在Sourceforge]
-{{comment}}
+[[category:editor]]
+[[category:java]]
-[[Category:Editor]]
-[[Category:Java]]