JEdit

来自开放百科 - 灰狐
跳转到： 导航, 搜索
Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 JEdit Thanks, Wikipedia.

jEdit

目录

简介

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

功能

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

指南

项目

截图

  • Jedit-screenshot-01.png
  • Jedit-screenshot-02.png
  • Jedit-screenshot-03.png
  • Jedit-screenshot-04.png

  • isabelle

  • isabelle插件

链接

来自“http://wiki.huihoo.com/wiki/?title=JEdit&oldid=159807”
分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱