Skip to content

Comments

Remove unused shell integration polling variable #1167

Merged
anthonykim1 merged 1 commit intomainfrom
anthonykim1/onDidChangeShellIntegration
Feb 3, 2026
Merged

Remove unused shell integration polling variable #1167
anthonykim1 merged 1 commit intomainfrom
anthonykim1/onDidChangeShellIntegration

Conversation

@anthonykim1
Copy link
Contributor

From: #1047

@anthonykim1 anthonykim1 added this to the February 2026 milestone Feb 3, 2026
@anthonykim1 anthonykim1 self-assigned this Feb 3, 2026
@anthonykim1 anthonykim1 added debt area-terminal Environment extension specific terminal issues. labels Feb 3, 2026
@anthonykim1 anthonykim1 marked this pull request as ready for review February 3, 2026 20:03
@anthonykim1 anthonykim1 merged commit 4b43e3c into main Feb 3, 2026
13 checks passed
@anthonykim1 anthonykim1 deleted the anthonykim1/onDidChangeShellIntegration branch February 3, 2026 20:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area-terminal Environment extension specific terminal issues. debt

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants