Leo's "devel" branch now contains two significant PRs:
PR #3838 <https://github.com/leo-editor/leo-editor/pull/3838> updates developer scripts that build and test Leo. The (newly revised) info issue #2867 <https://github.com/leo-editor/leo-editor/issues/2867> lists these scripts. All these scripts are now Python scripts. How did we ever live without them? PR #3838 <https://github.com/leo-editor/leo-editor/pull/3832> improves the annotations in leoTokens.py (Leo's beautifier) so that mypyc <https://github.com/mypyc/mypyc>can compile it. My tests show the compiled version is about twice as fast as the pure Python version. Compiling leoTokens.py is *optional:* cd leo-editor python -m mypyc leo/core/leoTokens.py --strict-optional *Summary* - PR #3838 <https://github.com/leo-editor/leo-editor/pull/3838> helps all developers test their code. - PR #3838 <https://github.com/leo-editor/leo-editor/pull/3832> doubles the speed of Leo's beautifier. Both PRs change Leo's codebase significantly. Please report any problems. All questions and comments are welcome. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/824fd215-e770-4056-8f6d-69a42f553763n%40googlegroups.com.