eric6/Sessions/SessionFile.py

branch
jsonfiles
changeset 8031
ce5858a237d2
parent 8025
aaad60a23960
child 8064
756747ba088c
--- a/eric6/Sessions/SessionFile.py	Fri Jan 29 19:31:47 2021 +0100
+++ b/eric6/Sessions/SessionFile.py	Sat Jan 30 16:19:25 2021 +0100
@@ -66,8 +66,7 @@
             "This file was generated automatically, do not edit."
         )
         
-        # TODO: replace 'XMLTimestamp' by 'Timestamp'
-        if Preferences.getProject("XMLTimestamp") or self.__isGlobal:
+        if Preferences.getProject("TimestampFile") or self.__isGlobal:
             sessionDict["header"]["saved"] = (
                 time.strftime('%Y-%m-%d, %H:%M:%S')
             )

eric ide

mercurial