editors/TextViewer.py
changeset 1742 92932cd370a4
parent 1736 7e61baa047f0
child 1743 c3c3d1318130
equal deleted inserted replaced
1741:dd94b9a68c61 1742:92932cd370a4
   136 
   136 
   137         # Indentation size
   137         # Indentation size
   138         self.Editor.SetTabWidth(2)
   138         self.Editor.SetTabWidth(2)
   139         self.Editor.SetUseTabs(0)
   139         self.Editor.SetUseTabs(0)
   140 
   140 
   141         self.Editor.SetModEventMask(wx.stc.STC_MOD_BEFOREINSERT|
   141         self.Editor.SetModEventMask(wx.stc.STC_MOD_BEFOREINSERT |
   142                                     wx.stc.STC_MOD_BEFOREDELETE|
   142                                     wx.stc.STC_MOD_BEFOREDELETE |
   143                                     wx.stc.STC_PERFORMED_USER)
   143                                     wx.stc.STC_PERFORMED_USER)
   144 
   144 
   145         self.Bind(wx.stc.EVT_STC_STYLENEEDED, self.OnStyleNeeded, id=ID_TEXTVIEWERTEXTCTRL)
   145         self.Bind(wx.stc.EVT_STC_STYLENEEDED, self.OnStyleNeeded, id=ID_TEXTVIEWERTEXTCTRL)
   146         self.Editor.Bind(wx.stc.EVT_STC_MARGINCLICK, self.OnMarginClick)
   146         self.Editor.Bind(wx.stc.EVT_STC_MARGINCLICK, self.OnMarginClick)
   147         self.Editor.Bind(wx.stc.EVT_STC_UPDATEUI, self.OnUpdateUI)
   147         self.Editor.Bind(wx.stc.EVT_STC_UPDATEUI, self.OnUpdateUI)