microsoft / microsoft/vscode-pull-request-github
Can't tell if user has been tagged in comment
Open
@alexr00 is already working on this.
Since Jul 22, 2025.
feature-request
- Dominant language
- TypeScript
- Stars
- 2.6k
- Forks
- 796
- Avg merge
- 1d 4h
- Merged PRs (30d)
- 46
Description
Using latest VS Code Insiders, GHPRI pre-release, and Copilot Chat pre-release on Windows 11.
I'd love some sort of additional highlighting, underline, or ability to click a tagged user. Right now, it's a bit hard to tell if I properly tagged the user - this is what results after I selected @Copilot from the comment suggestion:
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.