unit ->
object
  method box : GObj.widget
  method lang : GSourceView.source_language option
  method reset : unit
  method set_lang : GSourceView.source_language option -> unit
end