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
|
