zhouzhk 发表于 2013-1-15 14:07:48

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
页: [1]
查看完整版本: JEdit