[ 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 (Tracker Item Submitted) made by Item Submitter
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

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

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