branch | python3 |
changeset 3795 | 223a91584172 |
parent 3752 | 9f6f46dbe3ae |
--- a/controls/CustomStyledTextCtrl.py Wed Apr 12 23:02:41 2023 +0200 +++ b/controls/CustomStyledTextCtrl.py Thu Apr 13 22:31:33 2023 +0200 @@ -114,3 +114,10 @@ def AppendText(self, text): self.GotoPos(self.GetLength()) self.AddText(text) + + if wx.VERSION < (4, 1, 0): + def StartStyling(self, pos, mask=0xff): + wx.stc.StyledTextCtrl.StartStyling(self, pos, mask) + else: + def StartStyling(self, pos, *ignored): + wx.stc.StyledTextCtrl.StartStyling(self, pos)