enhancementgood first issue
仓库指标
- 星标
- (19,422 个星标)
- PR 合并指标
- (平均合并 4小时 23分钟) (30 天内合并 2 个 PR)
描述
Is your feature request related to a problem? Please describe. When there's multiple servers attached, and opening diagnostics picker, I don't know which diagnostic is coming from which server.
Describe the solution you'd like Add option to diagnostic picker to show source.
Describe alternatives you've considered
Additional context There's issue #2110 that proposes to directly append the source to diagnostic message, but I think it's better to add it as an option