gnome Official plugins for gedit Insert special characters just by clicking on them Shows document changes related to git's HEAD Embed a terminal in the bottom pane Build the plugin to inject events to gnome-extra/zeitgeist