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