Bugs item #3071425, was opened at 2010-09-19 14:46
Message generated for change (Tracker Item Submitted) made by mgricken
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3071425&group_id=44253
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: User interface
Group: 2: Annoying
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Does not append .java when saving
Initial Comment:
When saving an unnamed file, DrJava does not append the extension ".java" anymore. This makes me save a file as "MyClass" instead of "MyClass.java" now, causing DrJava to ignore and not compile the file.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3071425&group_id=44253
|
