method create_view = fun ?(view = GTree.view ~headers_visible:false ()) () ->
let name_column =
GTree.view_column
~renderer:(GTree.cell_renderer_text [],
[("text", string_c); ("foreground", color_c)])
()
in
i_int (view#append_column name_column);
view#set_model (Some self#coerce);
{ sv_view = view; sv_string_c = name_column; }