jEdit常用设置的认识.docVIP

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(编辑区) 1.Text font(字体大小) View 1.Show full path of buffer in title bar(在标题栏显示打开文件的完整路径) 2.show buffer switche