Skip to content

Add githubIssues.showIssueNumberInTree setting#8814

Merged
alexr00 merged 4 commits into
mainfrom
copilot/add-issue-number-support
Jul 16, 2026
Merged

Add githubIssues.showIssueNumberInTree setting#8814
alexr00 merged 4 commits into
mainfrom
copilot/add-issue-number-support

Conversation

Copilot AI commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Issues in the GitHub Issues tree show only their title, with no way to surface the issue number — unlike pull requests, which already support githubPullRequests.showPullRequestNumberInTree. This adds the equivalent setting for issues.

Changes

  • Setting — New githubIssues.showIssueNumberInTree boolean (default false), declared in package.json/package.nls.json with the key SHOW_ISSUE_NUMBER_IN_TREE in settingKeys.ts.
  • Tree rendering (issuesView.ts) — When enabled, prefix issue labels with #<number>: , matching the PR tree format. Applied to both the default label and the current/checked-out issue label.
  • Reactivity — Added the setting to the existing onDidChangeConfiguration handler so the tree refreshes on toggle.

With the setting enabled:

#173: Implement payment group control process
#174: Fix AP accrual posting issue

Copilot AI linked an issue Jun 30, 2026 that may be closed by this pull request
…n tree

Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>
Copilot AI changed the title [WIP] Add support for displaying issue numbers in GitHub Issues tree Add githubIssues.showIssueNumberInTree setting Jun 30, 2026
Copilot AI requested a review from alexr00 June 30, 2026 09:46
@alexr00
alexr00 marked this pull request as ready for review July 16, 2026 10:56
Copilot AI review requested due to automatic review settings July 16, 2026 10:56

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds a new user setting to optionally display GitHub issue numbers in the Issues tree, aligning the experience with the existing pull request number display option.

Changes:

  • Introduces githubIssues.showIssueNumberInTree (default: false) and localizes its description.
  • Updates the Issues tree item label rendering to prefix #<number>: when enabled (including the “current issue” label).
  • Refreshes relevant trees when the setting toggles (Issues tree, and Notifications tree label formatting where applicable).
Show a summary per file
File Description
src/notifications/notificationsManager.ts Refreshes the Notifications tree on relevant setting changes and prefixes notification labels with #<number>: when configured.
src/issues/issuesView.ts Reads the new setting and conditionally prefixes issue tree labels (including current/checked-out issue rendering).
src/common/settingKeys.ts Adds the SHOW_ISSUE_NUMBER_IN_TREE setting key constant.
package.nls.json Adds localized description text for the new setting.
package.json Declares the new githubIssues.showIssueNumberInTree configuration property.

Review details

  • Files reviewed: 5/5 changed files
  • Comments generated: 0
  • Review effort level: Low

@alexr00
alexr00 merged commit 398f99e into main Jul 16, 2026
8 checks passed
@alexr00
alexr00 deleted the copilot/add-issue-number-support branch July 16, 2026 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

GitHub Issues tree - Issue Number Support

4 participants