On Tuesday, June 29, 2021 at 5:01:18 AM UTC-5 Edward K. Ream wrote: > As discussed in #1058 <https://github.com/leo-editor/leo-editor/issues/1058> (branch info), the ekr-annotate branch will *never* be merged into devel (or master).
A little thought shows that this is a terrible plan :-) It would be unbearable to have a permanent branch whose code must continually be brought up to date with devel. Aside from sort-lived branches, I never want to have two versions of the same code if I can help it. Still, the goal of not polluting Leo's official sources with largely redundant annotations seems reasonable. My present plan is to create two new commands, informally known as wax-on and wax-off :-) The *insert-annotation* command will insert *standard annotations* into a file (signatures only), where Leo settings will define standard annotations for particular files, or groups of files. The *delete-annotations* command will remove *only* standard annotations, leaving all other annotations. Hmm, I suppose these scripts will have to deal with return annotations somehow. I'll have to think about this. That's all for now. The goal will be to fully complete the work on type annotations for Leo 6.4. The scripts *might* help run mypy later on, but we'll have to see. I'll say more about Leo and type checking in another thread. 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/562d7977-5344-4f34-8ba0-0b21984dbfffn%40googlegroups.com.
