jEdit的一些常用设置
jEdit,一款用java编写的代码编辑器,可定制性很强,还有功能丰富的插件。
官方网址: http://www.jedit.org/
先上一个官方网站其他人配置的图片吧。然后随便写一些前阵子折腾出来的常用设置
常用设置
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 switcher(buffer switcher,打开文件切换器)
File System Browser
1.Default path(打开browser时默认打开的目录)
Plugin Manager
1.Update mirror list(插件升级服务器镜像列表)
2.Install plugins in
jEdit setting directory(jEdit设置目录,在windows操作系统下通常是在MyDocument目录下的 .jedit 目录)
jEdit application directory(jEdit程序目录)
jEdit的设置目录(.jedit)
存放jEdit设置、插件的目录(可以备份此文件夹来保存自己的设置与插件)位置(在windows操作系统下通常
是在MyDocument目录下的 .jedit 目录,也可以通过菜单Utilities--TroubleShooting--Activity log查看含有 message字
样的信息,一般包含.jedit的信息就是jEdit的设置目录)
常用插件及设置
Plugins--plugin manager
Install下可以选择想要安装的插件
常用的插件
console(控制台)
error list(错误列表)
buffer tab(以标签页的方式显示打开文件)
code book(代码自动完成)
java style(修饰代码风格)
javainsight(反编译)
插件不仅需要安装还需要设置,选择plugin options
常用设置
console(general下选择字体大小。Character encoding选择编码,请选择GBK,否则无法显示中文。Compile & run,选择编程语言对应的编译器等)
buffer tabs(选择Enable BufferTabs by default)
先写这么多比较基础的设置,还有更多强大功能还有待挖掘。嘿嘿
官方网址: http://www.jedit.org/
先上一个官方网站其他人配置的图片吧。然后随便写一些前阵子折腾出来的常用设置
常用设置
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 switcher(buffer switcher,打开文件切换器)
File System Browser
1.Default path(打开browser时默认打开的目录)
Plugin Manager
1.Update mirror list(插件升级服务器镜像列表)
2.Install plugins in
jEdit setting directory(jEdit设置目录,在windows操作系统下通常是在MyDocument目录下的 .jedit 目录)
jEdit application directory(jEdit程序目录)
jEdit的设置目录(.jedit)
存放jEdit设置、插件的目录(可以备份此文件夹来保存自己的设置与插件)位置(在windows操作系统下通常
是在MyDocument目录下的 .jedit 目录,也可以通过菜单Utilities--TroubleShooting--Activity log查看含有 message字
样的信息,一般包含.jedit的信息就是jEdit的设置目录)
常用插件及设置
Plugins--plugin manager
Install下可以选择想要安装的插件
常用的插件
console(控制台)
error list(错误列表)
buffer tab(以标签页的方式显示打开文件)
code book(代码自动完成)
java style(修饰代码风格)
javainsight(反编译)
插件不仅需要安装还需要设置,选择plugin options
常用设置
console(general下选择字体大小。Character encoding选择编码,请选择GBK,否则无法显示中文。Compile & run,选择编程语言对应的编译器等)
buffer tabs(选择Enable BufferTabs by default)
先写这么多比较基础的设置,还有更多强大功能还有待挖掘。嘿嘿