<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Your report in the bug tracker seemed to show things a bit
differently that I'm seeing them now. I have a key listener print
out the events it sees:</p>
<p>for ctrl-a<br>
</p>
<p><font face="Georgia">5:40:10.354 pm -- [keyUp '<Ctrl-`>']</font></p>
<p><font face="Georgia">for ctrl-b</font></p>
<p><font face="Georgia">5:40:17.471 pm -- [keyDown '<Ctrl-~>']<br>
5:40:17.504 pm -- [keystroke '<Ctrl-up>']<br>
5:40:17.554 pm -- [keyUp '<Ctrl-k>']</font></p>
<p><font face="Georgia">for ctrl-c</font></p>
<p><font face="Georgia">5:40:25.548 pm -- [keyUp '<Ctrl-h>']</font><br>
</p>
So nothing even remotely right from this angle. :-(<br>
<br>
<div class="moz-cite-prefix">On 11/15/16 5:28 PM, Bert Freudenberg
wrote:<br>
</div>
<blockquote
cite="mid:CACnEXee-nwuin0kLZMRLPqi1qdYU=g7A=XLySPByS5P4gNGzwg@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">On Tue, Nov 15, 2016 at 3:29 PM, Bob
Arning <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:arning315@comcast.net" target="_blank">arning315@comcast.net</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
<div bgcolor="#FFFFFF">
<p><font face="Georgia">Cool. Not only are they reported
as a different key, but sometimes you just get a
keyUp and sometimes you get all 3: down/char/up. </font><br>
</p>
<div>
<div class="gmail-h5"> </div>
</div>
</div>
</blockquote>
</div>
Yep. Here's the issue in the VM bug tracker:</div>
<div class="gmail_extra"><a moz-do-not-send="true"
href="https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/43">https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/43</a><br>
</div>
<div class="gmail_extra"><br>
</div>
<div class="gmail_extra">Marcel suggested creating smaller
issues from this big one with actionable items, which perhaps
is a good idea. And someone would have to actually look into a
fix.</div>
<div class="gmail_extra"><br>
</div>
<div class="gmail_extra">- Bert -</div>
<div class="gmail_extra"><br>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">
</pre>
</blockquote>
<br>
</body>
</html>