[DrJava] [ drjava-Bugs-582557 ] can't always cut light blue highlighting

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

Bugs item #582557, was opened at 2002-07-16 19:03
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=582557&group_id=44253

Category: Definitions (source editor)
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Christopher Haynes (chaynes)
Assigned to: Nobody/Anonymous (nobody)
Summary: can't always cut light blue highlighting

Initial Comment:
I can't get a repeatable context for this, but a few times 
today, using the stable release with XP, I've highlighted 
a word with a double click or drag and then been unable 
to cut it. I do the highlighting a second time and it 
works. Sorry I can't be of more help, but perhaps this 
confirms other's experience.


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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=582557&group_id=44253