gedit-pluginsgedit-plugins are a set of plugins for gedit. | |
Download |
gedit-plugins Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- Steve Frécinaux and Jesse van den Kieboom
- Publisher web site:
- http://www.gnome.org/projects/gedit/
gedit-plugins Tags
gedit-plugins Description
gedit-plugins are a set of plugins for gedit. gedit-plugins are a set of plugins for gedit.Installation:For the moment, you have to ./configure with --prefix=same prefix as you configured gedit with.How to choose which plugins to build:./configure --with-plugins=pl1,pl2,...where pl1, pl2 ... are one of the following:bracketcompletion Automatically adds closing brackets.charmap Insert special characters just by clicking on them.codecomment Comment and uncomment blocks of code.colorpicker Pick a color from a dialog and insert its hexadecimal representation.joinlines Join several lines or split long ones.showtabbar Add a menu entry to show/hide the tabbar.smartspaces Forget you're not using tabulations.terminal Embed a terminal in the bottom pane.all All of the above plugins
gedit-plugins Related Software