DrJava / Bugs / #885 Does not append .java when saving

#885 Does not append .java when saving

Milestone: 2: Annoying

Status: closed-fixed

Owner: Mathias Ricken

Labels: User interface (128)

Priority: 5

Updated: 2010-09-21

Created: 2010-09-19

Creator: Mathias Ricken

Private: No

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.

Discussion

Mathias Ricken - 2010-09-21

Apparently this only happens when non-standard compilers like Mint, NextGen or HJ are selected.
Fixed as of revision 5394.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Mathias Ricken - 2010-09-21

assigned_to: nobody --> mgricken

status: open --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Does not append .java when saving

A lightweight programming environment for Java

Group

Searches

Help

#885 Does not append .java when saving

Discussion