[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