[accerciser] Add timestamps in the Event Monitor

[Samuel Thibault <sthibaul src gnome org>]

commit 029edbb3ff4412cb51a6e86bbb5a5852f279de8f
Author: SteveLee <steve fullmeasure co uk>
Date:   Mon Nov 23 23:25:03 2020 +0100

    Add timestamps in the Event Monitor

 plugins/event_monitor.py | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/plugins/event_monitor.py b/plugins/event_monitor.py
index 1e42692..60708ae 100644
--- a/plugins/event_monitor.py
+++ b/plugins/event_monitor.py
@@ -322,9 +322,10 @@ class EventMonitor(ViewportPlugin):
     @param event: The at-spi event we are inserting.
     @type event: Accessibility.Event
     '''
-    self._writeText('%s(%s, %s, %s)\n\tsource: ' % \
-                      (event.type, event.detail1, 
-                       event.detail2, event.any_data))
+    ts = int((os.times()[-1] * 10 ) % 1000)
+    self._writeText('%02.1f %s(%s, %s, %s)\n\tsource: ' % \
+                      (ts / 10, event.type, event.detail1,
+                        event.detail2, event.any_data))
     hyperlink = self._createHyperlink(event.source)
     self._writeText(str(event.source), hyperlink)
     self._writeText('\n\tapplication: ')