More precise notification of highlighting changes.