--- a/eric7/WebBrowser/Session/SessionManagerDialog.py Thu Jun 16 18:28:59 2022 +0200 +++ b/eric7/WebBrowser/Session/SessionManagerDialog.py Fri Jun 17 16:36:14 2022 +0200 @@ -7,7 +7,10 @@ Module implementing a dialog to manage sessions. """ -from PyQt6.QtCore import pyqtSlot, Qt, QFileInfo +import datetime +import pathlib + +from PyQt6.QtCore import pyqtSlot, Qt from PyQt6.QtGui import QPalette from PyQt6.QtWidgets import QDialog, QTreeWidgetItem @@ -59,8 +62,9 @@ for session in sessions: itm = QTreeWidgetItem() itm.setText(0, session.name) - itm.setText(1, QFileInfo(session.filePath).lastModified() - .toString("yyyy-MM-dd hh:mm")) + itm.setText(1, datetime.datetime.fromtimestamp( + pathlib.Path(session.filePath).stat().st_mtime) + .isoformat(sep=" ", timespec="minutes")) itm.setData(0, SessionManagerDialog.SessionFileRole, session.filePath) itm.setData(0, SessionManagerDialog.BackupSessionRole, @@ -155,7 +159,7 @@ """ headerWidth = self.sessionsList.header().width() self.sessionsList.header().resizeSection( - 0, headerWidth - headerWidth / 2.5) + 0, int(headerWidth - headerWidth / 2.5)) @pyqtSlot() def __newSession(self):