Bug reported upstream, as this is not a scratch issue, this should affect gedit too, and everything using gtksourceview.
Bug reported upstream, as this is not a scratch issue, this should affect gedit too, and everything using gtksourceview.