gedit-plugin-bookmarks

Bookmarks plugin for gedit
  https://wiki.gnome.org/Apps/Gedit#Plugins
  0
  no reviews


Gedit-plugins contain a set of plugins for gedit.

This plugin enables easy document navigation with bookmarks.