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

[Thomas Morley]

2015-09-12 13:02 GMT+02:00 Michael Gerdau <address@hidden>:
>> 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 and that somehow CTRL-C
> and CTRL-V just not trigger the required processes.
>
> Kind regards,
> Michael
> --
>  Michael Gerdau       email: address@hidden
>  GPG-keys available on request or at public keyserver

CTRL-C and CTRL-V works for everything apart from pasting from jedit
into the body of a mail.
I'm able to paste from jedit into adress- and topic-field, though

Maybe
https://support.mozilla.org/en-US/questions/1041949
(thanks Andrew)
is related and
https://bugzilla.mozilla.org/show_bug.cgi?id=1123505