Use GtkSourceEncoding in GeditEncoding
gedit_document_get_file(): returns a GtkSourceFile