Victor and Thomas (and other vscodium users) As you can see from this link, https://open-vsx.org/extension/boltex/leojs the new version was successfully deployed on open-vsx, at around the same time I deployed it to Microsoft's marketplace.
Not sure here, but I think the 'auto update' of vscodium's extensions might require a restart of vscodium. Even if you just opened it. (at startup it will detect a new version and download it but it will not 'restart' the extension with the new version.) The regular vscode also does that, but it does automatically update them. It's just that it needs to restart once it detects that a new version is available after boot up. ... Or, maybe vscodium needs their extensions to be manually updated when a new version is published on their market. I'm not sure because I've never used vscodium personally. I've just made a quick google search and it seems to be many issues and tickets about vscodium not automatically updating extensions that have newer versions available. Hope this helps... In any cases thanks for posting those reports, as someone else who's more knowledgeable with vscodium might chime in and give a better explanation! :) FΓ©lix On Monday, April 29, 2024 at 3:25:26β―PM UTC-4 viktor....@gmail.com wrote: > Hello Felix, > > Same situation as reported by Thomas for me as well. > > That is my VSCodium (version 1.88.1) instance running w/i a Fedora-39 VM > does not get notified about new versions of LeoJS. > > tbp1...@gmail.com schrieb am Montag, 29. April 2024 um 13:52:36 UTC+2: > > Nice work and nice graphics! VSCodium on my system doesn't know about > this new version yet, I've still got 0.2.11. > > > I noticed this already when you announced LeoJS 0.2.12 - but - thought it > was a local issue on my side, since I was in the midst of upgrading from > Qubes OS 4.1 to 4.2 ... > > Let me know if you need further info about my environment details ! > > With kind regards, > > Viktor > > -- 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/bfd1659e-ea66-40fe-9a85-fbe4dd72c54bn%40googlegroups.com.