Hover box actions are obscured by lengthy documentation text
Bug Description:
The hover box actions ("View Problem", quickfixes, etc.) are easily obscured by lengthy documentation text, requiring users to scroll all the way down in the hover box to see whether any are available and applicable hot-keys. This reduces visibility for users that do not know these actions exist. Even users that do know they exist might not know the relevant hot keys.
Steps to Reproduce:
- Produce an error in a source file on an element that already has a lengthy documentation blurb.
- Hover over the token .
- The available actions and their hot-keys are not visible without scrolling.
Additional Information
This behaviour is consistent with VSCode but it is important to consider that VSCode's target user group is primarily developers who spend a lot of time in VSCode, while users of Theia-based apps might have much more limited exposure to Theia or IDEs in general. Perhaps it could be a configurable option, but the default should assume unfamiliar users.
- Operating System: Ubuntu 22.04.3 LTS
- Theia Version: 1.41