gh-94523: Detect file if modified at local disk and prompt to ask refresh#145625
Open
znsoooo wants to merge 4 commits intopython:mainfrom
Open
gh-94523: Detect file if modified at local disk and prompt to ask refresh#145625znsoooo wants to merge 4 commits intopython:mainfrom
znsoooo wants to merge 4 commits intopython:mainfrom
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
When the IDLE window is activated, detect whether the script has been modified by other editors. If modification exist, prompts whether to refresh the document. If Yes is selected, the document will be reloaded; if No is selected, the document status will be set to unsaved. The judgment is based on the last modified time of the file.
This feature help users avoid losing modifications made in other editors. If the file is not reloaded in IDLE (previously, it need to close and reopen script) after editing in other editors, do saving in IDLE will overwrite the changes made in other editors.
In another situation, if users do not want to keep modifications from other editors and need to overwrite the file content with the current state in IDLE, IDLE previously did not prompt that the file had been modified, and closing IDLE at this time would result in the loss of the current state in IDLE.
Screenshot: