Quick fix to make it compatible with gedit 3.12