method private _update_display =
table_view.tv_view#set_model None;
vtable_view.vt_view#set_model None;
index_view.idx_view#set_model None;
query_view.qry_view#set_model None;
table_model#clear ();
vtable_model#clear ();
index_model#clear ();
query_model#clear ();
List.iter
(fun t ->
(let store = new column_store () in
let data = { td_table = t; td_model = store; } in
List.iter (fun c -> store#append_data c) t.SQL_db.ta_columns;
table_model#append_data data))
db.SQL_db.db_tables;
List.iter (fun v -> vtable_model#append_data v) db.SQL_db.db_vtables;
List.iter (fun i -> index_model#append_data i) db.SQL_db.db_indexes;
List.iter (fun i -> query_model#append_data i) db.SQL_db.db_queries;
table_view.tv_view#set_model (Some table_model#coerce);
vtable_view.vt_view#set_model (Some vtable_model#coerce);
index_view.idx_view#set_model (Some index_model#coerce);
query_view.qry_view#set_model (Some query_model#coerce)