gtk_source_encoding_foreach() instead of get_from_index()