Comment 12 for bug 1313283

It seems to work on Ubuntu-14.10, even though versions do not really differ:
http://changelogs.ubuntu.com/changelogs/pool/main/g/gedit/gedit_3.10.4-0ubuntu6/changelog

But gtksourceview got some new releases, so maybe it is fixed there. Could match report from @alberich:
http://changelogs.ubuntu.com/changelogs/pool/main/g/gtksourceview3/gtksourceview3_3.12.3-1ubuntu1/changelog