This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author terry.reedy
Recipients rhettinger, terry.reedy
Date 2020-07-28.00:36:45
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1595896605.82.0.192751921153.issue1721083@roundup.psfhosted.org>
In-reply-to
Content
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).
History
Date User Action Args
2020-07-28 00:36:45terry.reedysetrecipients: + terry.reedy, rhettinger
2020-07-28 00:36:45terry.reedysetmessageid: <1595896605.82.0.192751921153.issue1721083@roundup.psfhosted.org>
2020-07-28 00:36:45terry.reedylinkissue1721083 messages
2020-07-28 00:36:45terry.reedycreate