JEdit - 基本设置与拷贝粘贴

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才解决。

 

 http://wiki.ubuntu.org.cn/Java