Plugins for gedit