using eric 4.2 how do i edit the highlighters color. i clicked on python, .py and clicked "add/change" and it didn't do anything, is there another way to change colors and also the red square that highlights matching words in the document, i'd like to change how that's displayed too! thanks!