That has been added upstream, https://blogs.gnome.org/nacho/2015/05/10/minimap-for-gedit/ has details
That has been added upstream, https:/ /blogs. gnome.org/ nacho/2015/ 05/10/minimap- for-gedit/ has details