[DrJava] [ drjava-Feature Requests-552825 ] timestamp checking

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

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

Category: User interface
Group: Medium (< 1 pair-month)
Status: Open
Priority: 5
Submitted By: Theo Yaung (theoyaung)
Assigned to: Nobody/Anonymous (nobody)
Summary: timestamp checking

Initial Comment:
keep track of timestamps:
(1) last time file was read from filesystem
(2) last time file was modified when you read the file.

Use those timestamps when doing disk I/O, particularly 
to prevent something destructive.

Story: 
User opens a file in DrJava, but user is not an 
expert, and also opens it in emacs.

User edits the file some in DrJava, and also in 
emacs.  User saves the emacs version, and is about to 
save the DrJava version overwriting the emacs version.

DrJava should warn the user that the file has changed 
since the last time it read it from the file system, 
to confirm the save-over.

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

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