PR #1907 Wait for deletion of widgets as well addition

Wait for deletion of widgets as well addition #1907

dbkr merged 3 commits into release-v0.12.4 from dbkr/wait_for_widget_delete

Wait for deletion of widgets as well addition

bb5ae741

ara4n commented on 2018-05-15

More helpful function name

e4a221e4

Rename uses of function too

fadf264a

dbkr merged 9dd90fb6 into release-v0.12.4 8 years ago

Reviewers

ara4n

Assignees

No one assigned

Labels

None yet

Milestone

No milestone