Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Safety check if our object recovery manages to find the overlay widget.
Otherwise we end up in an infinite loop as described in issue #109.
- Loading branch information