tree ccac8c1193967e5affd839f8d898911ac4065df1
parent 05f2b97a69d9b3489ba0b5b5822b8cb3d2e1c58f
author Ben Rohlfs <brohlfs@google.com> 1593719900 +0200
committer Ben Rohlfs <brohlfs@google.com> 1593760086 +0200

Fix the position of the hovercard

The desired position was 'right', but it appeared 'bottom-right',
because the height of the hovercard was calculated as 2px at the time
of updating the position.

Debugging the problem I have checked that several dom-ifs were not yet
evaluated properly, so a flush() before updating the hovercard position
fixes the problem.

Bug: Issue 13080
Change-Id: Id0d98b68799d80fce3dd861dafa1ce32158e62b5