Re: Problem with editor - CTRL key erases selected text

2020-06-19 Thread Massimo Del Fedele

Il 18/06/20 15:51, Henrik Pauli ha scritto:
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.


On Tue, 16 Jun 2020 at 02:00, Massimo Del Fedele mailto:m...@veneto.com>> wrote:

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 ?



No, no special features on my ubuntu. Also, I didn't test it on 19.10, so I 
don't know if it's related to new release or not.
I'll try to disable all gnome shell extensions, maybe it's related to one of 
them.
The weird stuff is that other editors (geany, gnome editor, libreoffice and so 
on) behave normally.



Re: Problem with editor - CTRL key erases selected text

2020-06-18 Thread Henrik Pauli
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.

On Tue, 16 Jun 2020 at 02:00, Massimo Del Fedele  wrote:

> 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 ?
>
>


Re: Problem with editor - CTRL key erases selected text

2020-06-16 Thread Detlev Offenbach
Hi,

I have never seen this on any of my machines. However, I haven't used it with 
latest Ubuntu yet. I am still on 19.10.

Detlev

Am Dienstag, 16. Juni 2020, 01:20:37 CEST schrieb Massimo Del Fedele:
> 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 ?

-- 
Detlev Offenbach
det...@die-offenbachs.de