The bug has been fixed upstream in that commit: https://git.gnome.org/browse/gtksourceview/commit/?id=190fb01d5972efd3f81dd90c38fe82f80561de6b
The bug has been fixed upstream in that commit: /git.gnome. org/browse/ gtksourceview/ commit/ ?id=190fb01d597 2efd3f81dd90c38 fe82f80561de6b
https:/