I uploaded a patch into upstream, Scratch should get it in the next gtkSourceview update - marking bug as fixed :)
I uploaded a patch into upstream, Scratch should get it in the next gtkSourceview update - marking bug as fixed :)