[ jEdit-devel ] [ jedit-Bugs-2201518 ] Copy not work if text selected by Shift+End or Shift+Home

[SourceForge.net <no...@so...>]

Bugs item #2201518, was opened at 2008-10-27 14:30
Message generated for change (Comment added) made by dmusicant
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2201518&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: dmusicant (dmusicant)
Assigned to: Nobody/Anonymous (nobody)
Summary: Copy not work if text selected by Shift+End or Shift+Home

Initial Comment:
When you select text on a line with "Shift+End" or "Shift+Home" and then try to copy the text (either by typing "Control+c" or right-clicking and selecting "copy"), it does not copy ANY of the text.

I am guessing that somehow, the shift+home/end key combo is not sending the cursor/caret position to the proper method.

I am using:
* jEdit 4.3pre15
* OpenSUSE 11.0 Operating System
* JDK 1.5.0_16

----------------------------------------------------------------------

>Comment By: dmusicant (dmusicant)
Date: 2008-10-28 00:06

Message:
Two things:

1. It does work for me on Windows XP, but not on OpenSUSE
2. Double clicking to highlight a word also does not allow copying on
OpenSUSE

----------------------------------------------------------------------

Comment By: Robert Schwenn (rschwenn)
Date: 2008-10-27 16:05

Message:
For me it works perfectly:

jEdit 4.3pre15
SUN JRE 1.6.0_10
Windows XP SP3


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2201518&group_id=588