Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Check for unsaved editors before asking to save #159318

Merged
merged 1 commit into from
Oct 6, 2022
Merged

Check for unsaved editors before asking to save #159318

merged 1 commit into from
Oct 6, 2022

Conversation

jacekkopecky
Copy link
Contributor

fixes #159317

@jacekkopecky jacekkopecky mentioned this pull request Aug 27, 2022
Closed
@sandy081 sandy081 assigned meganrogge and unassigned sandy081 Aug 29, 2022
@meganrogge meganrogge added this to the September 2022 milestone Aug 29, 2022
@Tyriar Tyriar closed this Oct 4, 2022
@Tyriar Tyriar reopened this Oct 4, 2022
@meganrogge meganrogge requested a review from Tyriar October 6, 2022 13:15
@Tyriar Tyriar merged commit dc1a19e into microsoft:main Oct 6, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Nov 20, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@meganrogge meganrogge meganrogge approved these changes

@Tyriar Tyriar Tyriar approved these changes

Assignees

@meganrogge meganrogge

Labels
None yet
Projects
None yet
Milestone
October 2022
Development

Successfully merging this pull request may close these issues.

Run task: don't ask whether to save all files when all are saved
5 participants
@jacekkopecky @Tyriar @meganrogge @sandy081 @vscodenpa