Make the highlighter redraw when they are added/removed