let source_languages_manager = GSourceView.source_languages_manager ()