equal
deleted
inserted
replaced
68 SEARCH_RESULT_HIGHLIGHT: STC_PLC_SEARCH_RESULT, |
68 SEARCH_RESULT_HIGHLIGHT: STC_PLC_SEARCH_RESULT, |
69 } |
69 } |
70 |
70 |
71 |
71 |
72 def LineStartswith(line, symbols): |
72 def LineStartswith(line, symbols): |
73 return reduce(lambda x, y: x or y, map(lambda x: line.startswith(x), symbols), False) |
73 return reduce(lambda x, y: x or y, map(line.startswith, symbols), False) |
74 |
74 |
75 |
75 |
76 class TextViewer(EditorPanel): |
76 class TextViewer(EditorPanel): |
77 |
77 |
78 ID = ID_TEXTVIEWER |
78 ID = ID_TEXTVIEWER |