[Geany-Devel] Maintaining edit history on reload
Lex Trotman
elextr at xxxxx
Fri Nov 8 21:05:25 UTC 2013
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.
Cheers
Lex
>
> --
> Cheers,
> Arthur
> _______________________________________________
> Devel mailing list
> Devel at lists.geany.org
> https://lists.geany.org/cgi-bin/mailman/listinfo/devel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.geany.org/pipermail/devel/attachments/20131109/e7b05ba5/attachment.html>
More information about the Devel
mailing list