[DrJava] [ drjava-Feature Requests-537227 ] Check for "modified on disk"

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

Feature Requests item #537227, was opened at 2002-03-30 16:16
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438938&aid=537227&group_id=44253

Category: User interface
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Eric E. Allen (eallen)
Assigned to: Nobody/Anonymous (nobody)
Summary: Check for "modified on disk"

Initial Comment:
When the user tries to save an open file, DrJava 
first checks whether that file has been modified on 
disk by another process. If so, DrJava alerts the 
user to this fact and asks for confirmation before 
saving.

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

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