<div dir="ltr">Does releasing a shift key cause a key event in 2htdp/universe ?  I want to distinguish between ordinary mouse click and shift click.  What I&#39;d like is to have a sequence like<div><br></div><div style>keyevent:  &quot;shift&quot;  (or &quot;rshift&quot;)</div>
<div style>mouse-event: button-down [or whatever]</div><div style>keyevent: ???    (I release the shift key)</div><div style><br></div><div style>I suppose I could experiment to find out, but it&#39;s quicker to ask :)</div>
<div style><br></div><div style>--Mitch</div><div style><br></div><div style><br></div><div style><br></div><div style><br></div><div style><br></div></div>