On Tuesday, April 30, 2024 at 4:07:16β―AM UTC-4 viktor....@gmail.com wrote:
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. It was the same for me. It has shown me updates for other extensions in the past, though. I wonder if a recent update to vscodium broke that ability. 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 ... I saw LeoJS in the extension view but it didn't show an update was available. 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 had restarted vscodium several times without any updates happening to LeoJS before I thought to un-install it first. -- 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/8e2fc0f1-279b-4989-ace9-126d34c95162n%40googlegroups.com.