jedit 是偿下一个用java 编写的源码放开的文本编辑器。表达式搜索，偿下aihub定义键盘宏等等。偿下prompt有很多有用的偿下agent特性，多个文件搜索和替换，偿下括号匹配，偿下包括语法加亮显示，偿下