Skip to content

finalize TaskPresentationOptions.close#182884

Merged
meganrogge merged 1 commit into
mainfrom
merogge/task-close
May 23, 2023
Merged

finalize TaskPresentationOptions.close#182884
meganrogge merged 1 commit into
mainfrom
merogge/task-close

Conversation

@meganrogge

Copy link
Copy Markdown
Collaborator

fix #131125

@meganrogge meganrogge self-assigned this May 18, 2023
@meganrogge meganrogge added this to the May 2023 milestone May 18, 2023
@meganrogge

Copy link
Copy Markdown
Collaborator Author

fyi @jeanp413 I cannot find the issue you said would be fixed once this was added

@jeanp413

Copy link
Copy Markdown
Contributor

@meganrogge Here you go #180088 , it got closed by the triage bot 🥲

@meganrogge meganrogge merged commit c9bce57 into main May 23, 2023
@meganrogge meganrogge deleted the merogge/task-close branch May 23, 2023 17:09
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 7, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

No close field in vscode.d.ts interface TaskPresntationOptions

3 participants