[DrJava] [ drjava-Bugs-1086676 ] Double Backspace Problem

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

Bugs item #1086676, was opened at 2004-12-16 13:27
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1086676&group_id=44253

Category: Definitions (source editor)
Group: Serious
Status: Open
Resolution: None
Priority: 5
Submitted By: R. Matt Barnett (rmbarnett)
Assigned to: Nobody/Anonymous (nobody)
Summary: Double Backspace Problem

Initial Comment:
In 20041215-2203 it would seem while editing a source
file pressing "Backspace" has the effect of pressing
backspace twice.  For example if the '|' symbol
represends the cursor, pressing backspace once on the line:

System.out.println("hi.");|

Would result in:

System.out.println("hi."|

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

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