that's a gtksourceview issue, I've sent it upstream at: https://bugzilla.gnome.org/show_bug.cgi?id=601801
that's a gtksourceview issue, I've sent it upstream at: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 601801