?packing:(GObj.widget -> unit) -> ?width:int -> ?height:int -> ?headers:bool -> ?rules:bool -> 'Wtable.listmodel -> object   method add_column_empty : GTree.view_column   method add_column_pixbuf : ('a, GTree.cell_properties_pixbuf) column   method add_column_text : ('a, GTree.cell_properties_text) column   method add_column_toggle : ('a, GTree.cell_properties_toggle) column   method coerce : GObj.widget   method count_selected : int   method insert_row : '-> unit   method is_selected : '-> bool   method iter_selected : ('-> unit) -> unit   method on_click : ('-> GTree.view_column -> unit) -> unit   method on_double_click : ('-> GTree.view_column -> unit) -> unit   method on_right_click : ('-> GTree.view_column -> unit) -> unit   method on_selection : (unit -> unit) -> unit   method pack : (GObj.widget -> unit) -> unit   method reload : unit   method scroll : GBin.scrolled_window   method set_focus : '-> GTree.view_column -> unit   method set_selection_mode : Gtk.Tags.selection_mode -> unit   method update_all : unit   method update_row : '-> unit   method view : GTree.view end