Merge pull request #4 from sd18ub/main

Author: megat69

main.py

@@ -13,6 +13,7 @@
 from collections import deque
 from traceback import print_exception
 import re
+import datetime
 
 from algorithmic_compiler import AlgorithmicCompiler
 from cpp_compiler import CppCompiler
@@ -505,22 +506,27 @@ def _on_crash_recover(self):
 		"""
 		If a crash file exists, asks the user if they want to recover.
 		"""
+		CRASH_FILE_PATH = os.path.join(os.path.dirname(__file__), CRASH_FILE_NAME)
 		def recover_crash_data():
-			with open(os.path.join(os.path.dirname(__file__), CRASH_FILE_NAME), "r", encoding="utf-8") as f:
+			with open(CRASH_FILE_PATH, "r", encoding="utf-8") as f:
 				self.current_text = f.read()
 			self.display_text()
 			self.is_crash_reboot = True
 
+		modify_time = os.path.getmtime(CRASH_FILE_PATH)
+		modify_date = datetime.datetime.fromtimestamp(modify_time)
+		dateD_H_str = modify_date.strftime("%d/%m/%Y %H:%M:%S")
+
 		display_menu(
 			self.stdscr,
 			(
 				("Yes", recover_crash_data),
 				("No", lambda: None)
 			),
-			label=self.get_translation("crash_recovery"),
+			label=self.get_translation("crash_recovery", date=dateD_H_str),
 			clear=False
 		)
-		os.remove(os.path.join(os.path.dirname(__file__), CRASH_FILE_NAME))
+		os.remove(CRASH_FILE_PATH)
 
 
 	@property

translations/translations_en.json

@@ -91,7 +91,7 @@
 			}
 		}
 	},
-	"crash_recovery": "Data has been found from the last crash. Do you want to recover it ?",
+	"crash_recovery": "Data has been found from the last crash ({date}). Do you want to recover it ?",
 	"loaded_plugin": "Loaded plugin {plugin_name}",
 	"theme_reloaded": "The theme was reloaded.",
 	"yes": "Yes",

translations/translations_fr.json

@@ -91,7 +91,7 @@
 			}
 		}
 	},
-	"crash_recovery": "Des données du document ont été trouvées après le dernier crash. Voulez-vous les récupérer ?",
+	"crash_recovery": "Des données du document ont été trouvées après le dernier crash ({date}). Voulez-vous les récupérer ?",
 	"loaded_plugin": "Plugin {plugin_name} chargé",
 	"theme_reloaded": "Le thème a été mis à jour.",
 	"yes": "Oui",