[DrJava] [ drjava-Feature Requests-573782 ] case sensitive file name changes

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

Feature Requests item #573782, was opened at 2002-06-25 14:38
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=573782&group_id=44253

Category: Definitions (source editor)
Group: None
Status: Open
Priority: 5
Submitted By: Christopher Haynes (chaynes)
Assigned to: Nobody/Anonymous (nobody)
Summary: case sensitive file name changes

Initial Comment:
With Windows 2000/xp, if a file is saved with an all-
lower case name, and then one saves it as a name that 
is the same but with some chars upcased, the name is 
not changed, either on disk, in the open file list, or in 
the titlebar. 

This is particularly unfortunate since beginners may fail 
to start a class name with an uppercase letter. The 
(unpleasant) workaround is to delete the file on disk and 
then do the saveAs. This really needs to be fixed.

Also, a minor feature request: it would be nice if saveAs 
made the files public class name the default value of the 
name field.


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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=573782&group_id=44253