Fix highlight error

Moving the mouse outside the AST clears the source highlight, but
reenter the AST over the same node does not rehighlight the text. This
fixes it by properly clearing the highlight information.