# HG changeset patch # User Tuomo Valkonen # Date 1516647550 0 # Node ID 1614b2184bb46b703ed9783a30c1f617b8471681 # Parent 2d89473517273d5abfbc42749d2a01ab2d151c26 crashfix diff -r 2d8947351727 -r 1614b2184bb4 ui.py --- a/ui.py Mon Jan 22 18:56:43 2018 +0000 +++ b/ui.py Mon Jan 22 18:59:10 2018 +0000 @@ -76,6 +76,7 @@ now=time.time() if when0: