<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On 10 November 2013 01:38, Arthur Rosenstein <span dir="ltr"><<a href="mailto:artros.misc@gmail.com" target="_blank">artros.misc@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On 08/11/2013 23:05, Lex Trotman wrote:<br>
<br>
> On 9 November 2013 03:02, Arthur Rosenstein <artros at <a href="http://gmx.com" target="_blank">gmx.com</a>> wrote:<br>
><br>
>> Hi,<br>
>><br>
>> I have a patch that adds support for maintaining the undo stack on<br>
>> document reload and allowing the reload operation to be reverted.<br>
>><br>
>> Any interest in pulling this upstream?<br>
>><br>
><br>
> You should make a PR, including it depends on lots of things, not just is<br>
> the functionality desirable.<br>
<br>
Of course, I'm just checking if there's interest in this feature in the<br>
first place.<br>
<br>
Anyway, I opened PR #188 on github.<br></blockquote><div><br></div><div>Thanks Arthur, I should have said "Since you have already done the hard work you should ..." </div><div><br></div><div>Cheers</div><div>Lex</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
><br>
> Cheers<br>
> Lex<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Cheers,<br>
Arthur<br>
_______________________________________________<br>
Devel mailing list<br>
<a href="mailto:Devel@lists.geany.org">Devel@lists.geany.org</a><br>
<a href="https://lists.geany.org/cgi-bin/mailman/listinfo/devel" target="_blank">https://lists.geany.org/cgi-bin/mailman/listinfo/devel</a><br>
</font></span></blockquote></div><br></div></div>