Binary package “gedit-plugin-bookmarks” in ubuntu mantic
Bookmarks plugin for gedit
gedit-plugins contain a set of plugins for gedit.
.
This plugin enables easy document navigation with bookmarks.
gedit-plugins contain a set of plugins for gedit.
.
This plugin enables easy document navigation with bookmarks.