let
source_languages_manager =
GSourceView
.source_languages_manager ()