zhrb的空间

  BlogJava :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理 ::
  20 随笔 :: 0 文章 :: 29 评论 :: 0 Trackbacks
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)

先写这么多比较基础的设置,还有更多强大功能还有待挖掘。嘿嘿
posted on 2010-03-02 22:49 zhrb 阅读(7786) 评论(4)  编辑  收藏

评论

# re: jEdit的一些常用设置 2010-03-03 10:58 99书城
的肌肤感觉地方  回复  更多评论
  

# re: jEdit的一些常用设置 2010-03-03 21:20 xiaorenwu
还是eclipse好  回复  更多评论
  

# re: jEdit的一些常用设置 2010-03-03 22:46 zhrb
@xiaorenwu
eclipse更多的是一个ide
这个东西更多的是一个代码编辑器
一个重型,一个轻型。呵呵
  回复  更多评论
  

# re: jEdit的一些常用设置 2010-09-27 18:58 路人甲
好!学习了,刚开始接触Jedit,希望LZ多写一些这样的配置教程  回复  更多评论
  


只有注册用户登录后才能发表评论。


网站导航: