IDLE fails to start or raises when an editor window's file does not exist
还没有人认领这个 Issue。
- 主要语言
- Python
- 星标
- 77.2k
- 派生
- 35.9k
- PR 合并指标
- PR 指标待抓取
描述
Bug report
Bug description:
IDLE raises an uncaught traceback when a file that is open in the editor is deleted or renamed by another program and the IDLE window is then refocused.
EditorWindow.focus_in_event runs on every <FocusIn> event and calls EditorWindow.last_mtime, which calls os.path.getmtime(self.io.filename) with no error handling. When the open file has been removed or renamed, getmtime raises FileNotFoundError, which escapes the Tk event handler and breaks the modified-on-disk reload check.
Reproduction
Open a file in the IDLE editor, delete or rename it in another program, then click back into the IDLE window. A traceback like this reaches the console and the reload check stops working:
FileNotFoundError: [Errno 2] No such file or directory: '.../somefile.py'
The same call reproduced without a GUI:
import os, tempfile, types
from idlelib.editor import EditorWindow
with tempfile.TemporaryDirectory() as d:
path = os.path.join(d, 'gone.py')
open(path, 'w').close()
mtime = os.path.getmtime(path)
os.remove(path)
stub = types.SimpleNamespace(io=types.SimpleNamespace(filename=path), mtime=mtime)
EditorWindow.last_mtime(stub) # raises FileNotFoundError on the main branch
Suggested fix
Guard os.path.getmtime in last_mtime with try/except OSError and return the last known mtime, so focus_in_event sees no change and does not prompt to reload a file that is gone.
CPython versions tested on:
3.16, CPython main branch
Operating systems tested on:
macOS
Linked PRs
- gh-153481
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
调研方向
从 idlelib.editor 中的 EditorWindow.last_mtime 及其调用者 focus_in_event 开始。重现 issue 中的文件缺失场景,然后验证重新聚焦 IDLE 不再引发异常,并且重新加载检查不会针对已删除的文件提示确认。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- python
- 领域
- desktop
- Issue 类型
- 缺陷
- 难度
- 2/5
- 预计耗时
- 1-3 小时
- 活跃度
- 停滞
- 描述清晰度
- 描述清楚
- 新手友好度
- 25/100