|
From: | BB |
Subject: | Re: [OT] gmail: not able to paste code |
Date: | Sat, 12 Sep 2015 14:31:18 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 |
On 12.09.2015 13:36, Thomas Morley wrote:
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-menuDid 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 whyWild 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 keyserverCTRL-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 address@hidden https://lists.gnu.org/mailman/listinfo/lilypond-user
[Prev in Thread] | Current Thread | [Next in Thread] |