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