<body><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000">
                                        I think that for Windows the preference to set is "swapControlAndAltKeys" or "duplicate<b>All</b>ControlAndAltKeys". The preference "<span style="font-family: Calibri, Helvetica, sans-serif;font-size: 16px">duplicateControlAndAltKeys" is deprecated because it just uses a small subset:</span><div><span style="font-family: Calibri, Helvetica, sans-serif;font-size: 16px"><br></span></div><div><div style=""><span style="font-family: Calibri, Helvetica, sans-serif"><span style="font-size: 16px">defaultCrossPlatformKeys</span></span></div><div style=""><span style="font-family: Calibri, Helvetica, sans-serif"><span style="font-size: 16px"><span style="white-space:pre"> </span>"Answer a list of key letters that are used for common editing operations</span></span></div><div style=""><span style="font-family: Calibri, Helvetica, sans-serif"><span style="font-size: 16px"><span style="white-space:pre">   </span>on different platforms."</span></span></div><div style=""><span style="font-family: Calibri, Helvetica, sans-serif"><span style="font-size: 16px"><span style="white-space:pre">    </span>^{ $c . $x . $v . $a . $s . $f . $g . $z }</span></span></div><div style="font-family: Calibri, Helvetica, sans-serif;font-size: 16px"><br></div></div><div style="font-family: Calibri, Helvetica, sans-serif;font-size: 16px">There is no $d, for example.</div><div style="font-family: Calibri, Helvetica, sans-serif;font-size: 16px"><br></div><div style="font-family: Calibri, Helvetica, sans-serif;font-size: 16px">Best,</div><div style="font-family: Calibri, Helvetica, sans-serif;font-size: 16px">Marcel</div><div class="mb_sig"></div><blockquote class="history_container" type="cite" style="border-left-style:solid;border-width:1px; margin-top:20px; margin-left:0px;padding-left:10px;">
                        <p style="color: #AAAAAA; margin-top: 10px;">Am 17.02.2020 10:17:27 schrieb Thiede, Christoph <christoph.thiede@student.hpi.uni-potsdam.de>:</p><div style="font-family:Arial,Helvetica,sans-serif">
<div id="divtagdefaultwrapper" style="font-size: 12pt;color: #000000;font-family: Calibri,Helvetica,sans-serif" dir="ltr">
<p>Hi all,</p>
<p><br>
</p>
<p>not sure whether this is bug, but it feels a bit inconvenient.</p>
<p><br>
</p>
<p><b>Steps to reproduce:</b></p>
<p>
<ol style="margin-bottom: 0px; margin-top: 0px;">
<li>Turn on the preference <span>duplicateControlAndAltKeys.</span></li><li>In the search bar, press the red button down and hold it pressed</li><li>Enter 6*7</li><li>Press Ctrl + d (on Windows)</li></ol>
<div><b>Expected behavior:</b></div>
<div>The code is evaluated (do it).</div>
<div><b>Actual behavior:</b></div>
<div>A debugger on the code opens (debug it)!</div>
<div><br>
</div>
<div>Notes: This is not a regression by the recent VM changes, I can reproduce it in a Trunk version from last summer.</div>
<div>But I don't think #<span>controlKeyPressed of a keyboard event should be true because a mouse button was down?</span></div>
<div><span><br>
</span></div>
<div><span>Best,</span></div>
<div><span>Christoph</span></div>
<p>
<div id="Signature">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt;color: rgb(0, 0, 0);font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols">
<div name="divtagdefaultwrapper" style="font-family: Calibri,Arial,Helvetica,sans-serif;font-size: ;margin: 0">
<div><span style="font-size: 10pt;color: #808080"></span></div>
</div>
</div>
</div>
</div>
</div></blockquote>
                                        </div></body>