Cannot reproduce this bug after upgrade to Ubuntu+1:
Distributor ID: Ubuntu Description: Ubuntu Saucy Salamander (development branch) Release: 13.10 Codename: saucy gedit 3.8.3-0ubuntu1 libgtk-3-0:i386 3.8.2-0ubuntu7
Cannot reproduce this bug after upgrade to Ubuntu+1:
Distributor ID: Ubuntu
Description: Ubuntu Saucy Salamander (development branch)
Release: 13.10
Codename: saucy
gedit 3.8.3-0ubuntu1
libgtk-3-0:i386 3.8.2-0ubuntu7