some fixes for gedit 3.10