external get_hidden : [>`sourcelanguage] obj -> bool
    = "ml_gtk_source_language_get_hidden"