introduce highlight event. fixes #529. fixes #762