[Geany-Devel] Maintaining edit history on reload

Lex Trotman elextr at xxxxx
Sat Nov 9 21:54:15 UTC 2013


On 10 November 2013 01:38, Arthur Rosenstein <artros.misc at gmail.com> wrote:

>
> 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.
>

Thanks Arthur, I should have said "Since you have already done the hard
work you should ..."

Cheers
Lex


>
> >
> > 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/20131110/cdc2aa3c/attachment.html>


More information about the Devel mailing list