method create_view = fun ?(view = GTree.view ()) ~title1 ~title2 () ->
let string1_column =
GTree.view_column ~title:title1
~renderer:(GTree.cell_renderer_text [], [("text", c_string1)])
()
and string2_column =
GTree.view_column ~title:title2
~renderer:(GTree.cell_renderer_text [], [("text", c_string2)])
()
in
List.iter
(fun c ->
c#set_resizable true;
i_int (view#append_column c))
[string1_column; string2_column];
view#set_model (Some self#coerce);
{ str2_view = view;
str2_string1 = string1_column;
str2_string2 = string2_column; }