gedit-plugins gedit-plugins are a set of plugins for gedit.
Download

gedit-plugins Ranking & Summary

gedit-plugins Tags

text editor text gedit gedit plugins gedit editor

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