?packing:(GObj.widget -> unit) -> ?width:int -> ?height:int -> ?headers:bool -> ?rules:bool -> 'a 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 : 'a -> unit   method is_selected : 'a -> bool   method iter_selected : ('a -> unit) -> unit   method on_click : ('a -> GTree.view_column -> unit) -> unit   method on_double_click : ('a -> GTree.view_column -> unit) -> unit   method on_right_click : ('a -> 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 : 'a -> GTree.view_column -> unit   method set_selection_mode : Gtk.Tags.selection_mode -> unit   method update_all : unit   method update_row : 'a -> unit   method view : GTree.view end