This fixes #8250.  It now refreshes the highlighting when the page or the backgrounds are refreshed.