community.linuxmint.com

Gedit-plugins contain a set of plugins for gedit, gnome's text editor.

the following plugins are included:
* join/split lines: join several lines or split long ones
* smart spaces: forget you're not using tabulations.
* character map: insert special characters just by clicking on them.
* bracket completion: automatically adds closing brackets.
* text size: easily increase and decrease the text size
* draw spaces: draw spaces and tabs
* bookmarks: easy document navigation with bookmarks
* color picker: pick a color from a dialog and insert its hexadecimal representation.
* tag list: provides a method to easily insert commonly used tags/strings into a document without having to type them.
* multi edit: edit document in multiple places at once
* word completion: word completion using the completion framework
* synctex: synchronize between latex and pdf with gedit and evince.
* commander: command line interface for advanced editing
* code comment: comment out or uncomment a selected block of code.
* session saver: save and restore your working sessions
* embedded terminal: embed a terminal in the bottom pane.