On 08/11/2013 23:05, Lex Trotman wrote:
On 9 November 2013 03:02, Arthur Rosenstein <artros at gmx.com> wrote:
Hi,
I have a patch that adds support for maintaining the undo stack on document reload and allowing the reload operation to be reverted.
Any interest in pulling this upstream?
You should make a PR, including it depends on lots of things, not just is the functionality desirable.
Of course, I'm just checking if there's interest in this feature in the first place.
Anyway, I opened PR #188 on github.
Cheers Lex