'a Custop.param ->
GText.view ->
object
val mutable current_sort : int
val mutable data : 'a Custop.element list
val mutable view : GTree.view
method add_element : 'a Custop.element -> unit
method box : GObj.widget
method compare : 'a Custop.element -> 'a Custop.element -> int
method private connect_events : unit
method content : 'a Custop.element list
method copy_selected : ('a Custop.element list -> unit) -> unit
method cut_selected : ('a Custop.element list -> unit) -> unit
method delete_selected : unit
method down_selected : unit
method edit_first_selected :
('a Custop.element -> 'a Custop.element) -> unit
method init_cols_display :
cols:GTree.view_column list ->
datacol:'a Custop.element GTree.column ->
renderer:GTree.cell_renderer_text -> GTree.list_store -> unit
method insert : ?row:Gtk.tree_iter -> 'a Custop.element -> unit
method menu : GToolbox.menu_entry list
method on_deselect : 'a Custop.element -> unit
method on_double_click : 'a Custop.element -> unit
method on_enter : unit -> unit
method on_select : 'a Custop.element -> unit
method paste_where_selected : 'a Custop.element list -> unit
method selection : 'a Custop.element list
method set_titles : string list -> unit
method private sort : 'a Custop.element list -> 'a Custop.element list
method up_selected : unit
method update_data : 'a Custop.element list -> unit
method view : GTree.view
end