add time of last reload

thomasballinger · thomasballinger · commit 87b0a9c8eb04 · 2014-07-31T20:35:21.000-04:00
diff --git a/bpython/curtsiesfrontend/repl.py b/bpython/curtsiesfrontend/repl.py
@@ -10,6 +10,7 @@
 import sys
 import tempfile
 import threading
+import time
 import unicodedata
 
 from bpython import autocomplete
@@ -425,6 +426,7 @@ def process_event(self, e):
         elif e in key_dispatch[self.config.reimport_key]:
             self.clear_modules_and_reevaluate()
             self.update_completion()
+            self.status_bar.message(_('Reloaded at ')+time.strftime('%H:%M:%S'))
         elif e in key_dispatch[self.config.undo_key]: #ctrl-r for undo
             self.undo()
             self.update_completion()
