Hi, 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 the CTRL key (for example to issue a CTRL-C copy command) erases my text, so I've to undo the change.
Following CTRL keypress behave normally, just the first one is weird. 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 : on FIRST CTRL keypress the selected text is erased, then all normal. Am I missing something, or it's a bug ?
