[DrJava] [ drjava-Feature Requests-544505 ] Revert From Disk

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

Feature Requests item #544505, was opened at 2002-04-15 23:43
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438938&aid=544505&group_id=44253

Category: Definitions (source editor)
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Peter Centgraf (centgraf)
Assigned to: Nobody/Anonymous (nobody)
Summary: Revert From Disk

Initial Comment:
Story:

User opens a file and modifies it.  User wishes to discard all changes he/she made in this session and start over from scratch.  Selecting File-Revert... presents the user with a confirmation dialog.  If confirmed, the file is reloaded from disk and displayed it in the currently active scrollpane.  The viewport is reset to display the start of the file and the scrollbar reflects the new (old?) size and position of the view.  The file list is unchanged, except to reflect that this document is no longer modified.

Optional:

We may or may not want this action to be undoable.  Since the revert operation would ordinarily discard state information from memory, supporting undo for actions performed previous to the revert would require a significant amount of work.  If the undo history is cleared, we should notify the user of this side-effect in the confirmation dialog.

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

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