Gedit-plugins contain a set of plugins for gedit.

This plugin enables editing a document in multiple places at once.