clearHighlight() does not work anymore

[Simon Kågström]

I recently updated my git repo, and clearHighlight() (formerly resetRangeColor()) no longer seems to do what I expect it to.

I basically do

clearHighlight();
highlightBackground(...);

continuously. clearHighlight() seems to do nothing, and after a while, everything is highlighted. The foreground version works the same way.

[Antonio Davide]

Ok, the bug is fixed :)
The highlighting function is the same for the background and foreground.