Re: [ jEdit-users ] modified buffer dot

[Slava P. <sp...@gj...>]

Hi,

Thanks for the suggestion! I implemented it and it worked. Great.

Slava

Erik Mattsson wrote:
> Hi Slava
> 
> I have an idea that might help you with this, if you want to implement the
> mentioned feature (i sure could use it too).
> 
> Anyhow when saving a buffer, the Buffer class can store which undo action
> is next in the UndoManager (through editToBeUndone) in a pointer ( in the buffer class).
> Then when the user edits the text (by inserting new undo actions) and starts
> calling the undo method, the program (Buffer class) checks if the next Undo action is the
> one stored when saving the file. And if it is, then the buffer hasnt been
> changed since the last save, and then the file dot can be changed. But then
> when the users writes some more by inserting more undo:able actions it (buffer class again)
> can check if the file dot should change or not.
> 
> Im not sure if this way works, but it is a possibility, it all comes down
> to how the UndoManager stores its Undo/Redo actions.
> 
> Comments ?
> 
> //Erik