let languages_manager = Gtksv_utils.source_languages_manager