[ jEdit-devel ] [ jedit-Feature Requests-2879957 ] Undo "File reload" action

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

Feature Requests item #2879957, was opened at 2009-10-15 18:08
Message generated for change (Comment added) made by rschwenn
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2879957&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: core
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: daniel hahler (blueyed)
Assigned to: Nobody/Anonymous (nobody)
Summary: Undo "File reload" action

Initial Comment:
It would be great and very useful, if the "Reload file" action would not clear the Undo buffer, but add "Replaced the whole text" to the stack instead.

This can be a real time saver! (e.g. if curl overwrites your file with the result of it...!)

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

>Comment By: Robert Schwenn (rschwenn)
Date: 2009-11-02 21:04

Message:
Answer to the last question:
I'd think that reload means "just load it again". When I reload a buffer,
I expect the same behavior of jedit like loading a file the first time -
inclusive all side effects like setting edit mode, indent mode ...


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

Comment By: Steve Gough (ghostfly)
Date: 2009-11-02 01:37

Message:
Does anyone know why the reload method just reuses the load method in the
first place? You get some other side effect stuff with load like completely
clearing out the Buffer state. It seems like doing a compound edit of
removing all text then insert from file contents would be acceptable. 

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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2879957&group_id=588