#885 Does not append .java when saving

2: Annoying
closed-fixed
5
2010-09-21
2010-09-19
Mathias Ricken
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
    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.

     
  • Mathias Ricken
    Mathias Ricken
    2010-09-21

    • assigned_to: nobody --> mgricken
    • status: open --> closed-fixed