Sync Pull Requests view with currently open PR overview/description

[Copilot]

Overview

This PR implements automatic synchronization between the "Pull Requests" tree view and the currently open PR overview/description panel. When a user opens a PR overview or switches between different PRs, the tree view now automatically highlights and reveals the corresponding PR.

Problem

Previously, there was no connection between the PR overview panel and the tree view. Users had to manually navigate the tree to find the PR they were viewing, which created a disconnected experience when working with multiple PRs.

Solution

Added a minimal event-driven sync mechanism that:

1. Emits events when PR overview panels become active or visible
2. Listens for these events in the tree data provider
3. Automatically reveals and highlights the corresponding PR in the tree view

Implementation Details

Core Changes

src/github/pullRequestOverview.ts:

• Added static onDidChangeActivePullRequest event emitter
• Emit events in update() method when PR changes
• Emit events in onDidChangeViewState() when panel becomes visible
• Added cleanup in static dispose() method

src/view/prsTreeDataProvider.ts:

• Added event listener in constructor to respond to PR overview changes
• Implemented syncWithActivePullRequest() method with error handling
• Added helper methods to traverse tree structure and find PR nodes
• Uses existing expandPullRequest() and reveal() APIs

Behavior

// When user opens PR #123 overview
PullRequestOverviewPanel.createOrShow(telemetry, uri, manager, pr123);
// → Tree view automatically expands and highlights PR #123

// When user switches to PR #456 overview  
PullRequestOverviewPanel.createOrShow(telemetry, uri, manager, pr456);
// → Tree view automatically switches to highlight PR #456

Testing

• Unit tests verify event emission when PR overviews become active
• Integration tests confirm tree view sync behavior
• Manual validation confirms real-world usage scenarios work correctly

Design Principles

• Minimal changes: Only ~60 lines of focused code added
• Uses existing APIs: Leverages current expandPullRequest() and reveal() methods
• Error resilient: Graceful handling without disrupting user experience
• Performance conscious: Async operations with proper error boundaries
• Extension compliant: Follows established patterns and code style

User Experience

Users now get a seamless, connected experience where the tree view automatically follows their PR navigation, eliminating the need to manually search for PRs in the tree when switching between overview panels.

Closes #[issue-number]

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

[alexr00]

@copilot, I've updated it to only do the reveal if the view is already visible, as we don't want to open the view if the user isn't already on it. Can you update the change to select the active PR when the view becomes visible?

[Copilot]

@copilot, I've updated it to only do the reveal if the view is already visible, as we don't want to open the view if the user isn't already on it. Can you update the change to select the active PR w...

I've updated the implementation to also select the active PR when the tree view becomes visible. Added a getCurrentPullRequest() static method to access the current PR and modified the onDidChangeVisibility handler to sync with the active PR when the view becomes visible. The original behavior is preserved - PR overview events only sync if the view is already visible (to avoid opening the view), while the new visibility event always syncs when the view becomes visible. Commit: 4a9c7fe