Tue, 28 Feb 2023 09:45:03 +0100
Corrected an ages old omission in ViewManager.py (see issue 487).
src/eric7/ViewManager/ViewManager.py | file | annotate | diff | comparison | revisions |
--- a/src/eric7/ViewManager/ViewManager.py Tue Feb 28 09:06:32 2023 +0100 +++ b/src/eric7/ViewManager/ViewManager.py Tue Feb 28 09:45:03 2023 +0100 @@ -5789,6 +5789,10 @@ self.currentEditor.highlightVisible() self._checkActions(self.currentEditor, False) + if newWin: + # insert filename into list of recently opened files + self.addToRecentList(fn) + def __setSbFile( self, fn=None,