On Thursday, April 11, 2024 at 5:25:03 AM UTC-5 Edward K. Ream wrote: Eight recent PRs complete all planned work involving Leo's annotations.
I doubt that the improved annotations will have much effect on LeoJS. After all, Typescript encourages stricter annotations than Python does. The last thing I want is for the recent work to delay LeoJS 1.0! 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/4f178110-bdb8-4e0c-bcf8-1fe33f9f2dedn%40googlegroups.com.
