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-03-02 11:37:12 +05:30
2022-02-03 20:34:59 +05:30
2022-04-07 13:43:29 +02:00
2022-04-07 13:43:29 +02:00
2022-04-07 13:43:29 +02:00