jEdit常用设置[整理].pdfVIP

jEdit ，一款用 java 编写的代码编辑器，可定制性很强，还有功能丰富的插件。 官方网址： / 先上一个官方网站其他人配置的图片吧。 常用设置 Utilities--Global Options Appearance( 设置外观，其中 Swing look $ feel 如果设置成 Metal 风格，可以更改菜单等字体大小 ) Docking( 设置插件、组件在编辑器中出现的位置，一般将 FileBrowser 设置在 left ，将 console 与 Errolist 设置在 bottom) Editing(Tab witdh 设置 tab 的空格数 ,Indent width 设置缩进的空格数， Soft(emulated with space)tabs 用空格模拟 tab) Gutter( 编辑区左边条状区域 ) 1.Line numbers( 显示行号 ) ，Gutter font Text Area( 编辑区 )