changeset 1736 | 7e61baa047f0 |
parent 1735 | c02818d7e29f |
child 1739 | ec153828ded2 |
--- a/controls/CustomStyledTextCtrl.py Mon Aug 14 22:30:41 2017 +0300 +++ b/controls/CustomStyledTextCtrl.py Mon Aug 14 23:27:15 2017 +0300 @@ -58,6 +58,7 @@ wx.WXK_NUMPAD_PAGEDOWN, wx.WXK_NUMPAD_END] + def GetCursorPos(old, new): if old == "": return 0 @@ -81,6 +82,7 @@ else: return None + class CustomStyledTextCtrl(wx.stc.StyledTextCtrl): def __init__(self, *args, **kwargs):