56     wx.WXK_NUMPAD_DOWN,

    56     wx.WXK_NUMPAD_DOWN,

    57     wx.WXK_NUMPAD_PAGEUP,

    57     wx.WXK_NUMPAD_PAGEUP,

    58     wx.WXK_NUMPAD_PAGEDOWN,

    58     wx.WXK_NUMPAD_PAGEDOWN,

    59     wx.WXK_NUMPAD_END]

    59     wx.WXK_NUMPAD_END]

    60 

    60 

    61 def GetCursorPos(old, new):

    62 def GetCursorPos(old, new):

    62     if old == "":

    63     if old == "":

    63         return 0

    64         return 0

    64     old_length = len(old)

    65     old_length = len(old)

    65     new_length = len(new)

    66     new_length = len(new)

    78             return i

    79             return i

    79         else:

    80         else:

    80             return i + 1

    81             return i + 1

    81     else:

    82     else:

    82         return None

    83         return None

    83 

    85 

    84 class CustomStyledTextCtrl(wx.stc.StyledTextCtrl):

    86 class CustomStyledTextCtrl(wx.stc.StyledTextCtrl):

    85 

    87 

    86     def __init__(self, *args, **kwargs):

    88     def __init__(self, *args, **kwargs):

    87         wx.stc.StyledTextCtrl.__init__(self, *args, **kwargs)

    89         wx.stc.StyledTextCtrl.__init__(self, *args, **kwargs)