Wtable.columns
method view : GTree.view
the tree
method scroll : GBin.scrolled_window
scrolled tree (build on demand)
method coerce : GObj.widget
widget of the scroll
method pack : ( GObj.widget -> unit ) -> unit
packs the scroll
method reload : unit
Structure has changed
method update_all : unit
(only) Content of rows has changed
method update_row : 'a -> unit
method insert_row : 'a -> unit
method set_focus : 'a -> GTree.view_column -> unit
method on_click : ( 'a -> GTree.view_column -> unit ) -> unit
method on_right_click : ( 'a -> GTree.view_column -> unit ) -> unit
method on_double_click : ( 'a -> GTree.view_column -> unit ) -> unit
method set_selection_mode : Gtk.Tags.selection_mode -> unit
method on_selection : ( unit -> unit ) -> unit
method count_selected : int
method iter_selected : ( 'a -> unit ) -> unit
method is_selected : 'a -> bool
method add_column_text : ( 'a, GTree.cell_properties_text ) column
method add_column_pixbuf : ( 'a, GTree.cell_properties_pixbuf ) column
method add_column_toggle : ( 'a, GTree.cell_properties_toggle ) column
method add_column_empty : GTree.view_column
Add an empty column that always appears after the columns created by the other add_column methods.
add_column