diff -r dd94b9a68c61 -r 92932cd370a4 editors/DebugViewer.py --- 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