Спасибо, Алин. Он был исправлен с 2013-03-16 в gedit 3.7: сразу после этого https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/796076/comments/43