I discovered a UI layout bug with the Choose Taclet Instantiation Dialog:
The size of the dialog adapts to its content. On large content, this results in an ever-increasing dialog if you try to resize (make it smaller). In the end, this dialog is not usable
This dialog should be redesigned.
Description
Please describe your concern in detail!
Reproducible
Is the issue reproducible?
Select one of: always, sometimes, random, have not tried, n/a
Steps to reproduce
Describe the steps needed to reproduce the issue.
- ...
- ...
- ...
What is your expected behavior and what was the actual behavior?
Additional information
Add more details here. In particular: if you have a stacktrace, put it here.