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; }