Do not display highlights if game solved by hint

If a hint is used to mark the final field, gameWon is emitted. This
causes 1) the scene to be refreshed, and 2) all highlights to be hidden.

In this case, calling refresh() is unnecessary, and hover() reenables
the highlights even though they should remain hidden.