Which mail program do you use? May be the editor of the provider in a
browser? Might make some difference.
On 12.09.2015 13:36, Thomas Morley wrote:
2015-09-12 13:02 GMT+02:00 Michael Gerdau <[email protected]>:
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: [email protected]
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
_______________________________________________
lilypond-user mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/lilypond-user
_______________________________________________
lilypond-user mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/lilypond-user
