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.

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

Check widget is dirty before saving #9393

Merged
merged 1 commit into from
Apr 22, 2021

Conversation

thegecko
Copy link
Member

Signed-off-by: thegecko rob.moran@arm.com

What it does

This PR adds a check to only save open files if they are dirty (as the function describes it should). Without this, all open files were forced to be saved, causing filewatchers to incorrectly fire updates.

How to test

Check modified dates on files which are open when a debug session is launched. They should only update if the file was changed.

Review checklist

Reminder for reviewers

Signed-off-by: thegecko <rob.moran@arm.com>
Copy link
Contributor

@colin-grant-work colin-grant-work left a comment

Choose a reason for hiding this comment

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

This looks good to me. I confirm that un-dirty files are not modified now when starting a debug session.

@thegecko thegecko merged commit a082473 into eclipse-theia:master Apr 22, 2021
@vince-fugnitto vince-fugnitto added this to the 1.13.0 milestone Apr 29, 2021
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.

3 participants