Gedit 3.12 compatibility