Leo 6.7.1 released

41 views

Skip to first unread message

unread,

Nov 10, 2022, 6:58:49 AM11/10/22

to leo-editor

Leo http://leoeditor.com 6.7.1 is now available on GitHub and pypi.

Many thanks to those who have contributed bug reports and new code :-)

I'll wait a few days before announcing this release widely.

The highlights of Leo 6.7.1

Several enhancements to leoserver.py.
Add support for ocaml syntax coloring.
Improve markdown importer.
@bool plain-key-outline-search is False by default, disabling a confusing feature.
Several minor code cleanups.
Remove four unused commands.