editors/TextViewer.py
changeset 1773 38fde37c3766
parent 1768 691083b5682a
child 1775 b45f2768fab1
equal deleted inserted replaced
1772:c3679f96020b 1773:38fde37c3766
    49  STC_PLC_VARIABLE, STC_PLC_PARAMETER, STC_PLC_FUNCTION, STC_PLC_JUMP,
    49  STC_PLC_VARIABLE, STC_PLC_PARAMETER, STC_PLC_FUNCTION, STC_PLC_JUMP,
    50  STC_PLC_ERROR, STC_PLC_SEARCH_RESULT,
    50  STC_PLC_ERROR, STC_PLC_SEARCH_RESULT,
    51  STC_PLC_EMPTY] = range(11)
    51  STC_PLC_EMPTY] = range(11)
    52 [SPACE, WORD, NUMBER, STRING, WSTRING, COMMENT, PRAGMA, DPRAGMA] = range(8)
    52 [SPACE, WORD, NUMBER, STRING, WSTRING, COMMENT, PRAGMA, DPRAGMA] = range(8)
    53 
    53 
    54 [ID_TEXTVIEWER, ID_TEXTVIEWERTEXTCTRL,
    54 [
       
    55     ID_TEXTVIEWER, ID_TEXTVIEWERTEXTCTRL,
    55 ] = [wx.NewId() for _init_ctrls in range(2)]
    56 ] = [wx.NewId() for _init_ctrls in range(2)]
    56 
    57 
    57 re_texts = {}
    58 re_texts = {}
    58 re_texts["letter"] = "[A-Za-z]"
    59 re_texts["letter"] = "[A-Za-z]"
    59 re_texts["digit"] = "[0-9]"
    60 re_texts["digit"] = "[0-9]"