I recently installed Ubuntu 20.04. Everything works fine. I wanted to customize gedit, but I was surprised that the minimap option is not available anymore.
How to get it back?
OS: Ubuntu 20.04
Gnome Version: 3.36.2
Windowing System: X11
gedit version: 3.36.2