Python-patch removed from Leo's repo

[Matt Wilkie]

Hi devs,

The 3rd party module python-patch has been removed from Leo's repo (with commit e08929ad). It used to live in "leo/extensions" as "/patch_11_01.py".

A non-exhaustive search through Leo's source code repo didn't find anything significant that referenced this file or module. From the commit history it was added to Leo as a study resource.

In the event you do use or need this it would be better to install or otherwise use directy from it's source: https://github.com/techtonik/python-patch.

If the module is something that's used all the time or should be available to generally to Leo users we can add it to the list of automatically installed libraries in setup.py. (Open an enhancement request and tag it with Pip.)

cheers,

-matt

[Edward K. Ream]

On Mon, Apr 27, 2020 at 11:47 AM Matt Wilkie <map...@gmail.com> wrote:

Hi devs,

The 3rd party module python-patch has been removed from Leo's repo (with commit e08929ad). It used to live in "leo/extensions" as "/patch_11_01.py".

Thanks for this. I had forgotten that is was there in the first place.

Edward