graphics/GraphicCommons.py
changeset 571 79af7b821233
parent 566 6014ef82a98a
child 575 a7c706b9492e
--- a/graphics/GraphicCommons.py	Sun Oct 09 23:31:50 2011 +0200
+++ b/graphics/GraphicCommons.py	Mon Oct 10 02:22:26 2011 +0200
@@ -95,8 +95,8 @@
 HIGHLIGHTCOLOR = wx.CYAN
 
 # Define highlight types
-ERROR_HIGHLIGHT = (wx.NamedColour("yellow"), wx.RED)
-SEARCH_RESULT_HIGHLIGHT = (wx.NamedColour("orange"), wx.WHITE)
+ERROR_HIGHLIGHT = (wx.Colour(255, 255, 0), wx.RED)
+SEARCH_RESULT_HIGHLIGHT = (wx.Colour(255, 165, 0), wx.WHITE)
 
 # Define highlight refresh inhibition period in second
 REFRESH_HIGHLIGHT_PERIOD = 0.1