[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [OT] gmail: not able to paste code
From: |
Thomas Morley |
Subject: |
Re: [OT] gmail: not able to paste code |
Date: |
Thu, 24 Sep 2015 00:03:38 +0200 |
2015-09-12 14:17 GMT+02:00 David Kastrup <address@hidden>:
> 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
For the record.
I did a fresh install of Ubuntu 15.04 and now all works again. :)
Thanks for all your hints,
Harm
- Re: [OT] gmail: not able to paste code, (continued)
- Re: [OT] gmail: not able to paste code, David Kastrup, 2015/09/12
- Re: [OT] gmail: not able to paste code, Thomas Morley, 2015/09/12
- Re: [OT] gmail: not able to paste code, Michael Gerdau, 2015/09/12
- Re: [OT] gmail: not able to paste code, Thomas Morley, 2015/09/12
- Re: [OT] gmail: not able to paste code, BB, 2015/09/12
- Re: [OT] gmail: not able to paste code, David Kastrup, 2015/09/12
- Re: [OT] gmail: not able to paste code,
Thomas Morley <=
- Re: [OT] gmail: not able to paste code, Thomas Morley, 2015/09/12