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