Problem with editor - CTRL key erases selected text

Massimo Del Fedele max at veneto.com
Tue Jun 16 00:20:37 BST 2020


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 ?



More information about the Eric mailing list