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 ()