Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid NPE from find/replace overlay when closing workbench
A missing null check when performing an asynchronous execution on the display of the find/replace overlay's shell leads to a NullPointerException at least when closing a workbench. This change adds an according null check.
- Loading branch information