gedit-plugins-extra ist eine riesige, inoffizielle Menge von Plugins für gedit (2.13+) und einiger Stile für GTKSourceView (2.0+). (non)