GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — gh-94523: Detect file if modified at local disk and prompt to ask refresh by znsoooo · Pull Request #145625 · python/cpython

Conversation

@znsoooo

@znsoooo znsoooo commented Mar 7, 2026 •
edited
Loading

Uh oh!

There was an error while loading. Please reload this page.

Copy link
Copy Markdown
Contributor

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:

截图_20260307_222345
  • Issue: IDLE: Detect file if modified at local disk and prompt to ask refresh #94523

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
All reactions
znsoooo added 3 commits March 7, 2026 20:45
@znsoooo
Feat: Detect file if modified at local disk and prompt to ask refresh
302cf26
@znsoooo
Add NEWS
c37c162
@znsoooo
Merge branch 'upstream' into dev-reload
c60cad5
@znsoooo
znsoooo requested a review from terryjreedy as a code owner March 7, 2026 14:23
@bedevere-app bedevere-app Bot added the awaiting review label Mar 7, 2026
@bedevere-app bedevere-app Bot mentioned this pull request Mar 7, 2026
IDLE: Detect file if modified at local disk and prompt to ask refresh #94523
Closed
@znsoooo
Merge branch 'main' into dev-reload
419546f
This was referenced Apr 6, 2026
IDLE: Auto make pair or brackets or quotation marks. #94524
Open
IDLE: Select current line when text is not selected while doing copy #94521
Open
gpshead
gpshead approved these changes Apr 11, 2026
View reviewed changes
@bedevere-app bedevere-app Bot added awaiting merge and removed awaiting review labels Apr 11, 2026
@gpshead
gpshead merged commit 6e2272d into python:main Apr 11, 2026
51 checks passed

Uh oh!

There was an error while loading. Please reload this page.
@bedevere-app bedevere-app Bot removed the awaiting merge label Apr 11, 2026
ljfp pushed a commit to ljfp/cpython that referenced this pull request Apr 25, 2026
@znsoooo @ljfp
pythongh-94523: IDLE: Detect file if modified and prompt the user to …
5f3042d 
…refresh (pythonGH-145625)
@terryjreedy terryjreedy added needs backport to 3.13 only security fixes needs backport to 3.14 bugs and security fixes labels Jul 4, 2026
@miss-islington-app

miss-islington-app Bot commented Jul 4, 2026

Copy link
Copy Markdown

Thanks @znsoooo for the PR, and @gpshead for merging it 🌮🎉.. I'm working now to backport this PR to: 3.13.
🐍🍒⛏🤖
znsoooo reacted with heart emoji
All reactions
  • ❤️ 1 reaction

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
@miss-islington-app

miss-islington-app Bot commented Jul 4, 2026

Copy link
Copy Markdown

Thanks @znsoooo for the PR, and @gpshead for merging it 🌮🎉.. I'm working now to backport this PR to: 3.14.
🐍🍒⛏🤖
znsoooo reacted with heart emoji
All reactions
  • ❤️ 1 reaction

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
@bedevere-app

bedevere-app Bot commented Jul 4, 2026

Copy link
Copy Markdown

GH-152988 is a backport of this pull request to the 3.13 branch.
All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
@bedevere-app bedevere-app Bot removed the needs backport to 3.13 only security fixes label Jul 4, 2026
@bedevere-app

bedevere-app Bot commented Jul 4, 2026

Copy link
Copy Markdown

GH-152989 is a backport of this pull request to the 3.14 branch.
All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
@bedevere-app bedevere-app Bot removed the needs backport to 3.14 bugs and security fixes label Jul 4, 2026
terryjreedy pushed a commit that referenced this pull request Jul 4, 2026
@miss-islington @znsoooo
[3.13] gh-94523: IDLE: Detect file if modified and prompt the user to…
2a0fc42 
… refresh (GH-145625) (#152988)

gh-94523: IDLE: Detect file if modified and prompt the user to refresh (GH-145625)
(cherry picked from commit 6e2272d)

Co-authored-by: Shixian Li <[email protected]>
terryjreedy pushed a commit that referenced this pull request Jul 4, 2026
@miss-islington @znsoooo
[3.14] gh-94523: IDLE: Detect file if modified and prompt the user to…
c055770 
… refresh (GH-145625) (#152989)

gh-94523: IDLE: Detect file if modified and prompt the user to refresh (GH-145625)
(cherry picked from commit 6e2272d)

Co-authored-by: Shixian Li <[email protected]>
@znsoooo
znsoooo deleted the dev-reload branch July 9, 2026 13:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@gpshead gpshead gpshead approved these changes
@terryjreedy terryjreedy Awaiting requested review from terryjreedy terryjreedy is a code owner

Uh oh!

There was an error while loading. Please reload this page.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Uh oh!

There was an error while loading. Please reload this page.

3 participants

@znsoooo @gpshead @terryjreedy
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.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.