`
hqman
  • 浏览: 367244 次
  • 性别: Icon_minigender_1
  • 来自: 苏州
社区版块
存档分类
最新评论

gedit 插件安装 笔记

阅读更多

Gedit 是 GNOME 桌面环境中默认的文本编辑器,其开放的插件支持特性不仅可以扩展文本编辑的功能,而且这些插件也能够使 Gedit 更加好用。

  1. Snippets:这是一个可以插入代码片段的插件。对于经常编写代码的朋友来说,该插件将使编码工作得心应手。这个插件具有一个代码片段管理器,用户可以在里面添加、编辑、设置自己需要使用的代码片段。

    snippet manager

    使用这些代码片段有如下三种方法:一是用 Ctrl + Space 键呼出代码片段选择框,然后在里面选择需要使用的代码片段;二是在输入代码片段的名称之后,连续按两次 Tab 键,可以触发需要使用的代码片段;三是使用预先定义的热键来触发要用的代码片段。

    snippet

    该插件已经内置在 Gedit 中,用户不必安装,但在使用之前需要到 编辑 -> 首选项 -> 插件 中激活。

  2. Auto Completion: 顾名思义,该插件使在 Gedit 中输入文本时具备自动完成功能。使用此插件需要进行安装,那是很简单的,只要把下载的文件复制到 ~/.gnome2/gedit/plugins 目录即可。可以使用 Tab 键来自动完成需要输入的文本。如,假设已经输过了 gedit,再次输入 gedit 时,只需 g[tab] 就可以了。
  3. Tag list:无需直接输入,便可插入常用的 tag 和字符串。该插件支持插入 HTML 的 tag 和特殊字符、Latex 的 tag、以及 XSLT 的元素、函数和 Axes。

    tags list

  4. File Browser:这个插件为 gedit 提供文件浏览支持,可以直接通过导航文件系统来处理文件。支持创建新的目录和文件,也可以监视目录的更改情况。

    file browser

  5. Document Statistics:一个文档统计插件,可以统计文档的行数、字数、字符数、字节数等。

    document statistics

以上便是我最喜爱的 5 个 Gedit 插件。在 Gedit 网站上还可以找到更多有用的插件。那么你最喜爱的 Gedit 插件是哪些呢?

 

 

参考 http://blogs.vinuthomas.com/2007/10/31/gedit-as-a-php-ide/

 

http://www.stambouliote.de/projects/gedit_plugins.html 

分享到:
评论
1 楼 weiqiang.yang 2010-11-09  
正则表达式查找并替换。。。

相关推荐

    gedit经典版本

    - **插件系统**:gedit拥有丰富的插件库,用户可以根据需求安装,如增强搜索功能、添加VIM键绑定、集成终端等。 - **代码折叠**:对于大型代码文件,gedit允许折叠代码块,便于查看和管理。 - **Unicode支持**:...

    Fedora安装后配置笔记

    - 使用命令`yum install gstreamer-plugins-bad`安装GStreamer插件。 以上配置可以帮助用户更好地利用Fedora系统,并提升日常使用的便利性。请注意,在进行这些配置时,应确保理解每个步骤的目的和潜在的影响,以...

    Android_ NDK编程入门笔记

    - **配置Android应用程序开发环境**:包括但不限于Eclipse(虽然现在更推荐使用Android Studio)、Java JDK、Android SDK以及ADT插件等。 **环境变量配置**:安装完成后,需将Android NDK的路径添加到系统的环境...

    Win7 & Ubuntu双系统 SOP

    - 更新语言包,安装必要的插件,比如针对Firefox的网页固定缩放设置插件。 - 在Ubuntu中,用户可以看到所有磁盘分区,但在Windows中则不可见Ubuntu分区。 5. **系统性能监控** - 对于Ubuntu系统,可以通过工具如...

    ubuntu设置

    - 下载Flash.ocx(Flash10 for Windows插件) - 下载中文注册表文件(zh.reg) - 下载汉化文件gdi32.dll.so - 下载官方QQ2008正式版 - 准备宋体字体文件(simsun.ttc) - 下载威雅QQ精简优化工具 - **安装...

Global site tag (gtag.js) - Google Analytics