Because of the deferring of the highlight, the old selection highlight was deleted only when a new one was created. Introduce a second timer that makes sure that the old highlight is cleared earlier.
Because of the deferring of the highlight, the old selection highlight was deleted only when a new one was created. Introduce a second timer that makes sure that the old highlight is cleared earlier.