2015-09-12 14:17 GMT+02:00 David Kastrup <d...@gnu.org>:
> Michael Gerdau <m...@qata.de> 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

_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user

Reply via email to