def __init__(self, parent, env, path=""): StyledTextCtrl.__init__(self, parent, env) wx.FileDropTarget.__init__(self) self.SetDropTarget(self) self.path = path self.file_encoding = "utf-8" self.modified_externally = False self.static_title = None self.sig_title_changed = Signal(self) self.sig_status_changed = Signal(self) self.SetTabIndents(True) self.SetBackSpaceUnIndents(True) self.SetViewWhiteSpace(wx.stc.STC_WS_VISIBLEALWAYS) self.SetWhitespaceForeground(True, "#dddddd") self.SetEdgeMode(wx.stc.STC_EDGE_LINE) self.SetEdgeColumn(80) self.SetEdgeColour("#dddddd") self.Bind(wx.EVT_KEY_DOWN, self.OnKeyDown) self.Bind(wx.EVT_RIGHT_DOWN, self.OnRightDown) self.Bind(wx.stc.EVT_STC_SAVEPOINTLEFT, self.OnSavePointLeft) self.Bind(wx.stc.EVT_STC_SAVEPOINTREACHED, self.OnSavePointReached) self.Bind(wx.stc.EVT_STC_UPDATEUI, self.OnStcUpdateUI)
def __init__(self, parent, env, auto_scroll=False): StyledTextCtrl.__init__(self, parent, env) self.auto_scroll = auto_scroll self.__lock = threading.Lock() self.__queue = [] self.__timer = wx.Timer(self) self.Bind(wx.EVT_TIMER, self.__OnTimer, self.__timer)