[DrJava] [ drjava-Bugs-762867 ] Can open multiple copies of a file

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

Bugs item #762867, was opened at 2003-06-29 21:12
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=762867&group_id=44253

Category: Definitions (source editor)
Group: Serious
Status: Open
Resolution: None
Priority: 8
Submitted By: Charles Reis (csreis)
Assigned to: Charles Reis (csreis)
Summary: Can open multiple copies of a file

Initial Comment:
If you use different names for the same file, you can
open multiple copies of it in DrJava.  For example, the
following will all open as separate files:

/home/user/code/Foo.java
/home/user/code/./Foo.java
/home/user/code/dir/../Foo.java

This could result in strange behavior with inconsistent
copies of a file.

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

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