editors/DebugViewer.py
changeset 1742 92932cd370a4
parent 1737 a39c2918c015
child 1782 5b6ad7a7fd9d
--- a/editors/DebugViewer.py	Tue Aug 15 16:01:18 2017 +0300
+++ b/editors/DebugViewer.py	Tue Aug 15 16:48:49 2017 +0300
@@ -256,7 +256,7 @@
         self.TimerAccessLock.acquire()
         if self.LastRefreshTimer is not None:
             self.LastRefreshTimer.cancel()
-            self.LastRefreshTimer=None
+            self.LastRefreshTimer = None
         self.TimerAccessLock.release()
 
         # Only try to refresh DebugViewer if it is visible on screen and not