Gtk.Tags.selection_mode ->
object
  method selected_columns : Dbf_sql.SQL_db.column list
  method set_tables : Dbf_sql.SQL_db.table list -> unit
  method view : Dbf_dbWidget.view
end