method create_view = fun ?(view = GTree.view ()) () ->
let name_vtable =
GTree.view_column ~title:"Name"
~renderer:(GTree.cell_renderer_text [], [("text", c_name)])
()
and descr_column =
GTree.view_column ~title:"Virtual table description"
~renderer:(GTree.cell_renderer_text [], [("text", c_descr)])
()
in
name_vtable#set_resizable true;
descr_column#set_resizable true;
i_int (view#append_column name_vtable);
i_int (view#append_column descr_column);
view#set_model (Some self#coerce);
{ vt_view = view;
vt_name = name_vtable;
vt_descr = descr_column}