branch | python3 |
changeset 3795 | 223a91584172 |
parent 3752 | 9f6f46dbe3ae |
3794:36934591f6eb | 3795:223a91584172 |
---|---|
112 event.Skip() |
112 event.Skip() |
113 |
113 |
114 def AppendText(self, text): |
114 def AppendText(self, text): |
115 self.GotoPos(self.GetLength()) |
115 self.GotoPos(self.GetLength()) |
116 self.AddText(text) |
116 self.AddText(text) |
117 |
|
118 if wx.VERSION < (4, 1, 0): |
|
119 def StartStyling(self, pos, mask=0xff): |
|
120 wx.stc.StyledTextCtrl.StartStyling(self, pos, mask) |
|
121 else: |
|
122 def StartStyling(self, pos, *ignored): |
|
123 wx.stc.StyledTextCtrl.StartStyling(self, pos) |