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