dehighlight: reset