Message374446
All open files, up to the most recent 21 (and that could be increased) are in the recent file list. Clicking on any name loads that file, unless it is already loaded. The exception enforced in filelist.FileList.open, lines 29-32:
if key in self.dict:
edit = self.dict[key]
edit.top.wakeup()
return edit
I believe that we just need to ask, before the return, "Replace editor content with file content?" and if yes, call edit.io.loadfile(filename). |
|
Date |
User |
Action |
Args |
2020-07-28 00:36:45 | terry.reedy | set | recipients:
+ terry.reedy, rhettinger |
2020-07-28 00:36:45 | terry.reedy | set | messageid: <1595896605.82.0.192751921153.issue1721083@roundup.psfhosted.org> |
2020-07-28 00:36:45 | terry.reedy | link | issue1721083 messages |
2020-07-28 00:36:45 | terry.reedy | create | |
|