<div dir="ltr">Have you tested changing the duplicate command key preferences ?<div><br></div><div>Best,</div><div>Karl</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 24, 2019 at 8:31 AM K K Subbu <<a href="mailto:kksubbu.ml@gmail.com">kksubbu.ml@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> <br>
On 22/05/19 9:31 PM, Tim Johnson wrote:<br>
> I used it via X11 this morning and noticed that I could Ctrl-D to "Do<br>
> it" anymore – now it is "Debug it."  In fact, I can't Ctrl-P for<br>
> Print it either...<br>
> <br>
> And it's not my image – I tried using a fresh 5.2 image also.<br>
<br>
Workaround: try using Alt instead of Ctrl. I tried Alt-D on<br>
    Display flash: World bounds<br>
and it worked. So did Alt-p to print 3+4.<br>
<br>
HTH .. Subbu<br>
</blockquote></div>