[Geany-Devel] Maintaining edit history on reload

Arthur Rosenstein artros.misc at xxxxx
Sat Nov 9 14:38:39 UTC 2013


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

-- 
Cheers,
Arthur


More information about the Devel mailing list