42 Gedit mini map
Created Saturday 15 January 2022
Mini map is removed again from latest Gedit, just do this.
mkdir -p ~/.local/share/gedit/plugins/
cd ~/.local/share/gedit/plugins/
git clone https://github.com/johnfactotum/gedit-restore-minimap.git restore-minimap