Fix bug where hover events were non-deterministically consumed.