method create_view = fun ?(view = GTree.view ()) ~title () ->
let string_column =
GTree.view_column ~title
~renderer:(GTree.cell_renderer_text [], [("text", c_string)])
()
in
string_column#set_resizable true;
i_int (view#append_column string_column);
view#set_model (Some store#coerce);
{ st_view = view;
st_string = string_column; }