David Luzar a524eeb66e
fix: eraser removed deleted elements (#5155)
* fix: eraser removed deleted elements

* rename `getElements` API

* fix one more case of not including deleted elements
2022-05-07 21:01:37 +02:00
..
2022-04-07 13:43:29 +02:00
2022-04-07 13:43:29 +02:00