You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Make the display of PR number in tree view configurable (#4576)
* Make the display of PR number in tree view configurable
Closes#4463
Also updates the description node to always show the PR number, rather than just in the tooltip.
* Remove number from description
---------
Co-authored-by: Alex Ross <alros@microsoft.com>
"githubIssues.assignWhenWorking.description": "Assigns the issue you're working on to you. Only applies when the issue you're working on is in a repo you currently have open.",
112
112
"githubPullRequests.focusedMode.description": "The layout to use when a pull request is checked out. Set to false to prevent layout changes.",
113
+
"githubPullRequests.showPullRequestNumberInTree.description": "Shows the pull request number in the tree view.",
0 commit comments