-
Notifications
You must be signed in to change notification settings - Fork 719
Closed
Labels
Milestone
Description
Refs #3058
- anyOS @joaomoreno
- anyOS @vijayupadya
Complexity: 1
Context
The Pull Request extension now allows users to open multiple pull request descriptions in separate editor tabs simultaneously. Previously, opening a new PR description would reuse the existing editor tab instead of creating a new one.
Test Steps
- Install the latest pre-release version of GitHub Pull Requests
- Open a folder which contains a GitHub repository
- Open the Pull Requests view
- Click on a PR to open it's description
- Repeat step 2 for a second, different PR
- A second editor tab should open, showing the description of the second PR
- Both PR description tabs should remain open and display their respective PRs
- Switch between the two PR description tabs
- Each tab should show the correct PR description without reloading or changing content
Reactions are currently unavailable