Re: [OT] gmail: not able to paste code

[David Kastrup]

Michael Gerdau <address@hidden> writes:

>> Meanwhile I reinstalled jEdit and changed java:
>> 
>> $ java -version
>> java version "1.6.0_36"
>> OpenJDK Runtime Environment (IcedTea6 1.13.8) (6b36-1.13.8-0ubuntu1~14.04)
>> OpenJDK 64-Bit Server VM (build 23.25-b01, mixed mode)
>> 
>> No success, at least neither Ctrl+c Ctrl+v nor via mouse-menu
>> 
>> > Did you press C-c for copy and C-v for paste (that's via the clip board
>> > I think, possibly requiring some sort of clipboard manager in your
>> > desktop environment)?  The other way is marking with mouse-drag-1 and
>> > pasting with middle-mouse: that one goes via the X selection mechanism.
>> 
>> via middle-mouse it worked finally (I forgot to test this method)
>> 
>> Though, I have not the slightest idea what changed and why
>
> Wild guess:
> Did you (accidentially) change (or override globally) some keybindings ?
>
> On KDE that occasionally happened to me. I have no experience with
> Gnome though.
>
> That fact that it works via middle-mouse implies that basically the
> communication infrastructure is working

Uh no?

> and that somehow CTRL-C and CTRL-V just not trigger the required
> processes.

C-c, C-v, and mouse menu work via the clipboard.  mouse-mark and paste
via middle click work via the X selection.  Totally different
infrastructure.

-- 
David Kastrup