equal
deleted
inserted
replaced
92 |
92 |
93 # Color for Highlighting |
93 # Color for Highlighting |
94 HIGHLIGHTCOLOR = wx.CYAN |
94 HIGHLIGHTCOLOR = wx.CYAN |
95 |
95 |
96 # Define highlight types |
96 # Define highlight types |
97 ERROR_HIGHLIGHT = (wx.Colour(255, 255, 0), wx.RED) |
97 ERROR_HIGHLIGHT = (wx.Colour(255, 255, 0).GetIM(), wx.RED.GetIM()) |
98 SEARCH_RESULT_HIGHLIGHT = (wx.Colour(255, 165, 0), wx.WHITE) |
98 SEARCH_RESULT_HIGHLIGHT = (wx.Colour(255, 165, 0).GetIM(), wx.WHITE.GetIM()) |
99 |
99 |
100 # Define highlight refresh inhibition period in second |
100 # Define highlight refresh inhibition period in second |
101 REFRESH_HIGHLIGHT_PERIOD = 0.1 |
101 REFRESH_HIGHLIGHT_PERIOD = 0.1 |
102 |
102 |
103 HANDLE_CURSORS = { |
103 HANDLE_CURSORS = { |