Install gedit-plugin-bookmarks by entering the following commands in the terminal:
sudo apt update sudo apt install gedit-plugin-bookmarks
Description:
Bookmarks plugin for gedit
gedit-plugins contain a set of plugins for gedit, GNOME's text editor. . This plugin enables easy document navigation with bookmarks.
Homepage: https://wiki.gnome.org/Apps/Gedit#Plugins
Version: 3.28.1-1
Section: universe/gnome