[DrJava] [ drjava-Bugs-517689 ] Hard to create .drjava on Windows

[<no...@so...>]

Bugs item #517689, was opened at 2002-02-14 12:23
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=517689&group_id=44253

Category: Other
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Brian Stoler (brianstoler)
Assigned to: Brian Stoler (brianstoler)
Summary: Hard to create .drjava on Windows

Initial Comment:
Windows doesn't like files that start with a dot very 
much. In particular, you can't rename a file in 
explorer to begin with a period.

For now, to get around this problem, we'll 
automatically create the .drjava file if it doesn't 
exist. Then the user only has to edit it, not create 
it.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=517689&group_id=44253