<div dir="ltr">Do you have a feature like "Tap Ctrl to show the location of the mouse" turned on in your desktop environment?  I've seen some weird stuff happen from that before (not with Eric in particular) on both Gnome and some other DEs, and this is simply the first thing that popped to my mind when reading your issue.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 16 Jun 2020 at 02:00, Massimo Del Fedele <<a href="mailto:max@veneto.com">max@veneto.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">Hi,<br>
<br>
I'm on Linux (Ubuntu 20.04), and I have an annoying problem with the editor : when I enter it, selecting some text and pressing<br>
the CTRL key (for example to issue a CTRL-C copy command) erases my text, so I've to undo the change.<br>
<br>
Following CTRL keypress behave normally, just the first one is weird.<br>
Then, if I leave the editor alone for a while (for example to test my app) and go back to it, the weird behaviour starts again :<br>
on FIRST CTRL keypress the selected text is erased, then all normal.<br>
<br>
Am I missing something, or it's a bug ?<br>
<br>
</blockquote></div>