bughelp wantedmonacoui/ux
Repository metrics
- Stars
- (18,676 個のスター)
- PR merge metrics
- (平均マージ 15d 4h) (30d で 75 merged PRs)
説明
Description
Hover information is hidden by widgets if the editor does have sufficient space.
Theia
VSCode
Steps to
- open multiple editors, dock them side by side
- open the outline view
- hover over methods / variables (the hover info is partially hidden)