BeremizIDE.py
changeset 1829 a776ac02b079
parent 1795 e27d253bd0ba
child 1831 56b48961cc68
equal deleted inserted replaced
1828:396da88d7b5c 1829:a776ac02b079
    37 import wx.lib.buttons
    37 import wx.lib.buttons
    38 import wx.lib.statbmp
    38 import wx.lib.statbmp
    39 import wx.stc
    39 import wx.stc
    40 import cPickle
    40 import cPickle
    41 import types
    41 import types
    42 import time
       
    43 import re
    42 import re
    44 import time
       
    45 import commands
    43 import commands
    46 from threading import Lock, Timer, currentThread
    44 from threading import Lock, Timer, currentThread
    47 from time import time as gettime
    45 from time import time as gettime
    48 
    46 
    49 import util.paths as paths
    47 import util.paths as paths