Bugs item #989232, was opened at 2004-07-12 14:49
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=989232&group_id=44253
Category: User interface
Group: Would be nice if fixed ...
Status: Open
Resolution: None
Priority: 5
Submitted By: Nor Jaidi Tuah (norjaidi)
Assigned to: Nobody/Anonymous (nobody)
Summary: Non-existant default selected history file
Initial Comment:
DrJava: 20040618
Compiler and runtime: 1.5.0-beta2-b51
System: Windows XP
The error:
After performing some interactions, I saved the
interactions history. When prompted for a file name, I
specified "xyz". DrJava kindly appended the extension
"xyz.hist". Nothing wrong there.
Then, I replayed the interactions. When prompted for a
file name, I naturally clicked [OK] because the
filename "xyz" already appeared as the default. But
that didn't work.
The default should have been "xyz.hist" (or no default
at all).
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=989232&group_id=44253
|
