On 9 November 2013 03:02, Arthur Rosenstein artros@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@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel