Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The Help Window cannot be activated if the previous Help Window is still alive but minimized. Until there is a better solution, let's mention this problem in the 'Known issues' section of the UG.
- Loading branch information