Bugs item #995913, was opened at 2004-07-22 08:20
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=995913&group_id=44253
Category: User interface
Group: Annoying
Status: Open
Resolution: None
Priority: 3
Submitted By: Elspeth Simpson (ejspe)
Assigned to: Nobody/Anonymous (nobody)
Summary: Save As doesn't work if file already open
Initial Comment:
"Save As" gives an error when you try to save a file
under a name of a file that is already open in DrJava.
The user clearly wants to get rid of the copy that is
in DrJava and save the other file in its place, and so
a better behind the scenes behavior might be to close
the copy of the file that is being overwritten in
DrJava and then save the other file in its place and
then reopen it like we would if the first file had not
been open.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=995913&group_id=44253
|
