<div dir="ltr">A non modal display of this info would be nice. I could act much like a menu, one you click anywhere it would disappear. <div><br></div><div>Karl</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Apr 16, 2015 at 9:06 PM, Chris Muller <span dir="ltr"><<a href="mailto:asqueaker@gmail.com" target="_blank">asqueaker@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Thu, Apr 16, 2015 at 12:01 PM, karl ramberg <<a href="mailto:karlramberg@gmail.com">karlramberg@gmail.com</a>> wrote:<br>
> This change is for when the UI wakes up after fileing in / compiling<br>
> updates.<br>
> The active mouse is not receiving events and it reports wrong position.<br>
><br>
> An alternative could be to pop up the UserDialogBoxMorph in the middle of<br>
> the screen.<br>
<br>
</span>Or pop open the "Help | About" window, which reports the update number<br>
by default. Seems little difference if the user has to click "Ok"<br>
button or an "X" button, but it provides more information and solves<br>
this problem too...<br>
<br>
</blockquote></div><br></div>