本文介绍了如何通过配置jEdit的多个选项来提高文本编辑效率，包括安装BufferTabs插件并调整显示设置、修改字体样式、调整语法高亮等。此外，还提到了在openjdk环境下遇到的内容复制问题及解决方案。
1. 在PluginManager中下载BufferTabs, 然后在Gloable Options的View页面， 关闭show buffer switch, 打开show full path of buffer in title bar；在BufferTabs的options选择中把tab页放到top
2. 在Gloable Options的appears页面修改按钮菜单的字体
3.在Gloable Options的textarea页面修改text font
4. 在Gloable Options的syntaxhightlighting去掉operator的bold显示
另外，openjdk下可能会出现jedit的内容无法拷贝到terminal中去，后来安装了sun-jdk才解决。
扫一扫
3181
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
