I forgot to mention the corresponding bug in launchpad for gtksourceview:
https://bugs.edge.launchpad.net/gedit/+bug/291789
I forgot to mention the corresponding bug in launchpad for gtksourceview:
https:/ /bugs.edge. launchpad. net/gedit/ +bug/291789