On Thu, Apr 16, 2015 at 12:01 PM, karl ramberg <karlramberg at gmail.com> wrote:
> This change is for when the UI wakes up after fileing in / compiling
> updates.
> The active mouse is not receiving events and it reports wrong position.
>
> An alternative could be to pop up the UserDialogBoxMorph in the middle of
> the screen.

Or pop open the "Help | About" window, which reports the update number
by default.  Seems little difference if the user has to click "Ok"
button or an "X" button, but it provides more information and solves
this problem too...