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
|