editors/DebugViewer.py
changeset 1737 a39c2918c015
parent 1736 7e61baa047f0
child 1742 92932cd370a4
equal deleted inserted replaced
1736:7e61baa047f0 1737:a39c2918c015
    25 from threading import Lock, Timer
    25 from threading import Lock, Timer
    26 from time import time as gettime
    26 from time import time as gettime
    27 
    27 
    28 import wx
    28 import wx
    29 
    29 
    30 REFRESH_PERIOD = 0.1        # Minimum time between 2 refresh
    30 REFRESH_PERIOD = 0.1         # Minimum time between 2 refresh
    31 DEBUG_REFRESH_LOCK = Lock() # Common refresh lock for all debug viewers
    31 DEBUG_REFRESH_LOCK = Lock()  # Common refresh lock for all debug viewers
    32 
    32 
    33 #-------------------------------------------------------------------------------
    33 #-------------------------------------------------------------------------------
    34 #                               Debug Viewer Class
    34 #                               Debug Viewer Class
    35 #-------------------------------------------------------------------------------
    35 #-------------------------------------------------------------------------------
    36 
    36