equal
deleted
inserted
replaced
31 from graphics.GraphicCommons import ERROR_HIGHLIGHT, SEARCH_RESULT_HIGHLIGHT, REFRESH_HIGHLIGHT_PERIOD |
31 from graphics.GraphicCommons import ERROR_HIGHLIGHT, SEARCH_RESULT_HIGHLIGHT, REFRESH_HIGHLIGHT_PERIOD |
32 from plcopen.structures import ST_BLOCK_START_KEYWORDS, ST_BLOCK_END_KEYWORDS, IEC_BLOCK_START_KEYWORDS, IEC_BLOCK_END_KEYWORDS, LOCATIONDATATYPES |
32 from plcopen.structures import ST_BLOCK_START_KEYWORDS, ST_BLOCK_END_KEYWORDS, IEC_BLOCK_START_KEYWORDS, IEC_BLOCK_END_KEYWORDS, LOCATIONDATATYPES |
33 from EditorPanel import EditorPanel |
33 from EditorPanel import EditorPanel |
34 from controls.CustomStyledTextCtrl import CustomStyledTextCtrl, faces, GetCursorPos, NAVIGATION_KEYS |
34 from controls.CustomStyledTextCtrl import CustomStyledTextCtrl, faces, GetCursorPos, NAVIGATION_KEYS |
35 |
35 |
36 #------------------------------------------------------------------------------- |
36 # ------------------------------------------------------------------------------- |
37 # Textual programs Viewer class |
37 # Textual programs Viewer class |
38 #------------------------------------------------------------------------------- |
38 # ------------------------------------------------------------------------------- |
39 |
39 |
40 |
40 |
41 NEWLINE = "\n" |
41 NEWLINE = "\n" |
42 NUMBERS = [str(i) for i in xrange(10)] |
42 NUMBERS = [str(i) for i in xrange(10)] |
43 LETTERS = ['_'] |
43 LETTERS = ['_'] |
913 |
913 |
914 def OnKillFocus(self, event): |
914 def OnKillFocus(self, event): |
915 self.Editor.AutoCompCancel() |
915 self.Editor.AutoCompCancel() |
916 event.Skip() |
916 event.Skip() |
917 |
917 |
918 #------------------------------------------------------------------------------- |
918 # ------------------------------------------------------------------------------- |
919 # Highlights showing functions |
919 # Highlights showing functions |
920 #------------------------------------------------------------------------------- |
920 # ------------------------------------------------------------------------------- |
921 |
921 |
922 def OnRefreshHighlightsTimer(self, event): |
922 def OnRefreshHighlightsTimer(self, event): |
923 self.RefreshView() |
923 self.RefreshView() |
924 event.Skip() |
924 event.Skip() |
925 |
925 |