I know many leonistas are *VSCodium* <https://vscodium.com/> users,
So I'm happy to inform you that *the folks at eclipse/openvsx have fixed their server issues*, and that the new *LeoJS 0.2.14 beta version* <https://open-vsx.org/extension/boltex/leojs> is now available to install or update from *https://open-vsx.org <https://open-vsx.org/extension/boltex/leojs>* ! [image: Untitled.png] Have fun trying out the new LeoJS features AND the new VSCode features! (Did you know you can drag out a tab from the vscode window onto your desktop to have an independent floating editor for that specific document? It also works with LeoJS body panes and 'detached' body panes!) Félix On Sunday, June 23, 2024 at 6:20:37 AM UTC-4 Edward K. Ream wrote: > On Sat, Jun 22, 2024 at 8:28 PM Félix <[email protected]> wrote: > > I am thrilled to announce the release of* LeoJS Version 0.2.14-beta >> <https://marketplace.visualstudio.com/items?itemName=boltex.leojs>*! >> With this new version, LeoJS is now a complete translation of the original >> Leo, with all edit commands now fully converted from Python to TypeScript. > > > Many thanks for all the work you have done, and congratulations for this > epic milestone! And thanks for the humorous pictures! > > The beta installed without a hitch. > > I see that the latest vs-code update > <https://code.visualstudio.com/updates/v1_90> supports Typescript 5.5 > <https://devblogs.microsoft.com/typescript/announcing-typescript-5-5>which > ought to make your job easier, for example with inferred type predicates > <https://devblogs.microsoft.com/typescript/announcing-typescript-5-5/#inferred-type-predicates> > > and regex checking > <https://devblogs.microsoft.com/typescript/announcing-typescript-5-5/#regular-expression-syntax-checking>. > > These improvements to vs-code and Typescript illustrate why LeoJS is the > future of Leo. There is no way desktop Leo could keep up with the work of > thousands of Microsoft engineers! > > Again, congratulations on a job well done. > > 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/de3e350a-ff0a-4bb3-80b4-4c28c1649cd5n%40googlegroups.com.
