Measure highlight hidden when it loses focus
Measure highlight hidden when it loses focus

e5ff92883afedd2dac56bf4c5d3606709dd49794 appears to have caused
this regression, but it should now be fixed.

jstrait/jssynth,jstrait/jssynth