Bugs item #992455, was opened at 2004-07-16 12:13
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=992455&group_id=44253
Category: Interactions
Group: Serious
Status: Open
Resolution: None
Priority: 7
Submitted By: Patrick Kruse (pakruse)
Assigned to: Nobody/Anonymous (nobody)
Summary: Interactions history stored incorrectly
Initial Comment:
The interactions history appears to be stored aside
every time the return key is pressed, not just when the
interaction is executed. This is only an issue with
hitting 'Return' and not 'shift + Return'.
In the interactions pane, type:
public class A {
}
with the single return. Then save interactions history.
When subsequently editing this interactions history, it
appears as:
public class A {//End of Interaction//
public class A {
}//End of Interaction//
This prevents any saved interactions history from being
executed without error if the return key was ever
pressed with the intent to continue typing.
Bug is apparent in all recent releases of DrJava and in
the version in the CVS repository.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=992455&group_id=44253
|
