GeezerVison

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

GeezerVison is showing github.com — [3.13] gh-94523: IDLE: Detect file if modified and prompt the user to refresh (GH-145625) by miss-islington · Pull Request #152988 · python/cpython

Conversation

miss-islington commented Jul 4, 2026 •

edited by bedevere-app Bot

Loading

Uh oh!

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

Copy link

Copy Markdown

Contributor

(cherry picked from commit 6e2272d)

Co-authored-by: Shixian Li [email protected]

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


          pythongh-94523: IDLE: Detect file if modified and prompt the user to …

157c1e2

…refresh (pythonGH-145625)

(cherry picked from commit 6e2272d)

Co-authored-by: Shixian Li <[email protected]>

miss-islington requested a review from terryjreedy as a code owner

July 4, 2026 00:19

This was referenced Jul 4, 2026

IDLE: Detect file if modified at local disk and prompt to ask refresh #94523

Closed

gh-94523: Detect file if modified at local disk and prompt to ask refresh #145625

Merged

bedevere-app Bot added the awaiting review label

Jul 4, 2026

terryjreedy enabled auto-merge (squash)

July 4, 2026 00:20

read-the-docs-community Bot commented Jul 4, 2026

Copy link

Copy Markdown

Documentation build overview

📚 cpython-previews | 🛠️ Build #33434395 | 📁 Comparing 157c1e2 against main (548c731)

🔍 Preview build

465 files changed · + 1 added · ± 424 modified · - 40 deleted

+ Added

library/asyncio-policy.html

± Modified

- Deleted

All reactions

Sorry, something went wrong.

Uh oh!

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

terryjreedy merged commit 2a0fc42 into python:3.13

Jul 4, 2026

42 checks passed

Uh oh!

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

bedevere-app Bot removed the awaiting review label

Jul 4, 2026

miss-islington deleted the backport-6e2272d-3.13 branch

July 4, 2026 00:43

Reviewers

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

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.

GeezerVison

Conversation

miss-islington commented Jul 4, 2026 • edited by bedevere-app Bot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

read-the-docs-community Bot commented Jul 4, 2026

Documentation build overview

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

miss-islington commented Jul 4, 2026 •

edited by bedevere-app Bot

Loading

Uh oh!

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