Hello Felix, FΓ©lix schrieb am Dienstag, 30. April 2024 um 01:22:18 UTC+2:
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. Yes, I was aware of that. 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. What was unexpected to me is that VSCodium did not notify me about the available update of the extension. What ( I think ) I did, is that I had to explicitly search for 'leo' in the extension view - and - only then it did show the notification & allowed me to install the update ... And you are right that an explicit restart of VSCodium instance IS required - but - at least I did not have to re-install LeoJS as Thomas has reported. I'll look into the exact behavior details of VSCodium, when you publish the next version of LeoJS. ... 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... Thanks a lot for your feedback & support ! 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/3687c9a9-b319-479d-9022-951f835d4fc2n%40googlegroups.com.
