RED-3800: changed mutate to update.

This commit is contained in:
Nicoleta Panaghiu 2023-11-16 15:16:25 +02:00
parent 63fc8f0468
commit f0a72b7961

View File

@ -35,11 +35,11 @@ export class REDAnnotationManager {
}
addToHidden(value: string) {
this.#hidden.mutate(set => set.add(value));
this.#hidden.update(set => new Set([...set, value]));
}
removeFromHidden(value: string) {
this.#hidden.mutate(set => set.delete(value));
this.#hidden.update(set => new Set([...set].filter(val => value !== val)));
}
init(annotationManager: AnnotationManager) {