Peter Würtz has already diagnosed the issue (in https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/34813/comments/20 and again in https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/34813/comments/40), so its not a mystery.
A patch that would probably fix the issue has even been posted at http://bugzilla.gnome.org/show_bug.cgi?id=336738#c5 . There is just a lack of consensus as to whether the solution is better than the problem.
Peter Würtz has already diagnosed the issue (in https:/ /bugs.launchpad .net/ubuntu/ +source/ gedit/+ bug/34813/ comments/ 20 and again in https:/ /bugs.launchpad .net/ubuntu/ +source/ gedit/+ bug/34813/ comments/ 40), so its not a mystery.
A patch that would probably fix the issue has even been posted at http:// bugzilla. gnome.org/ show_bug. cgi?id= 336738# c5 . There is just a lack of consensus as to whether the solution is better than the problem.