diff -r a4f1b68c0737 -r ce5858a237d2 eric6/Sessions/SessionFile.py --- 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') )