From: SourceForge.net <no...@so...> - 2004-07-12 06:49:06
|
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 |