Merge branch 'development' into development

development
Thomas Bouffard 2022-10-09 18:31:25 +02:00 committed by GitHub
commit b16fa54411
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -230,7 +230,7 @@ export class GraphDataModel extends EventSource {
/**
* Maps from Ids to cells.
*/
cells: any = {};
cells: {[key: string]: Cell} | null = {};
/**
* Specifies if edges should automatically be moved into the nearest common