method private _update_table_internal =
fun row_ref table ?name ~comment ~logged ~pkey () ->
begin
match name with
| None -> ()
| Some name ->
SQL_db.rename_table table name
end;
SQL_db.set_primary_key table pkey;
table.SQL_db.ta_comment <- comment;
table.SQL_db.ta_logged <- logged;
table_model#update_display row_ref#iter;
self#_document_changed ()