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
|
