java文本编辑器

jEdit 是一款成熟专业的java文本编辑器，它有很多有用的特性，包括语法加亮显示，括号匹配，表达式搜索，多个文件搜索和替换，定义键盘宏等。jEdit 作为一个Java程序，它是跨平台使用的，它超过支持130种语言提供了语法，而且功能非常丰富。