| ▲ | 0rzech 16 hours ago | |
Each time I try to use Theia IDE I have such a bad experience: * On each start, Ada & SPARK extension pops up a dialog that I have to close by clicking 12 times (I counted it) on its "Cancel" button. * I can't permanently remove items from the left sidebar. It looks like Theia is unable to persist some things between runs. * The IDE notifies me about bad tasks.json config and proposes to open it to fix, but the "Open" button doesn't do anything. * Open VSX extensions do not update automatically. [1] I have to manually switch their versions to the newer ones. * Just now I've manually updated Ada & SPARK extension. Not only was I presented with several options with exactly the same version (perhaps each was meant for different CPU arch or operating system?), but after choosing the first one and reloading editor as the IDE asked me to, the extension disappeared completely. None of these happen with VSCodium, or with VS Code of course. | ||