Awesome!<br><br>Thanks, Matthew and Robby, for looking at this.<br><br>(* Cheers <span class="RktVal">+inf.0),<br><br></span>Kieron.<br><br><div class="gmail_quote">On Tue, Oct 2, 2012 at 7:36 AM, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">At Mon, 24 Sep 2012 23:47:17 -0600, Kieron Hardy wrote:<br>
&gt; I used &#39;enter to make the problem easy to demonstrate, but what I&#39;m really<br>
&gt; interested in is button up/down events and they get duplicated also.<br>
<br>
</div>It turns out that enter/leave events are generated very differently<br>
from button up/down events. Happily, fixing the duplicated button<br>
up/down events on Windows controls turns out to be easy, and I&#39;ve<br>
pushed that repair.<br>
<br>
I improved enter/leave events, too, but those are less reliable across<br>
platforms for a variety of reasons.<br>
<br>
</blockquote></div><br>