Objective
Aggregate diagnostics from all open editor tabs in the Problems panel and status bar summary, instead of only showing diagnostics from the currently active file.
Context
Currently, the Problems panel only displays diagnostics from the currently visible editor tab. This requires users to switch between tabs to see all issues, reducing productivity. The status bar summary also only counts problems from the active file. Both should aggregate diagnostics across all open files.
Scope
- Problems panel: aggregate diagnostics from all open editor tabs
- Status bar: show total problem count across all open files
- Editor Service: track open tabs and their diagnostic sources
- LSP bridge: ensure diagnostics are properly associated with documents
- Click navigation: maintain ability to jump to source location in any open tab
Definition of Done
Milestone
0.3.x Extension Host and compatibility
Objective
Aggregate diagnostics from all open editor tabs in the Problems panel and status bar summary, instead of only showing diagnostics from the currently active file.
Context
Currently, the Problems panel only displays diagnostics from the currently visible editor tab. This requires users to switch between tabs to see all issues, reducing productivity. The status bar summary also only counts problems from the active file. Both should aggregate diagnostics across all open files.
Scope
Definition of Done
Milestone
0.3.x Extension Host and compatibility