Alessandro Fragnani
Alessandro Fragnani
Hi @muuvmuuv , I did take a look at Profile Switcher extension to see it evolution and just noted that it does not really _ disable/enable_ extensions but **uninstall/install** instead....
Depends on https://github.com/microsoft/vscode/issues/84997
Just recently (https://github.com/microsoft/vscode/issues/84997#issuecomment-574910685) the dependency issue has been moved to “Backlog Candidate” by the VS Code team, which means it has 60 days to receive enough attention (upvotes), otherwise it...
Hi @DAmNRelentless , The VS Code team is working on a new feature, temporarily called **Profiles**, and according to its issue (https://github.com/microsoft/vscode/issues/116740), it would allow enable/disable extensions per profile, via...
Maybe. It depends on how it will end up being developed by the VS Code team. If it only loads from the `.vscode/settings.json` file, I'll probably do nothing about it....
Personally, I hope that the _native_ User Profile feature the VS Code team is planning (https://github.com/microsoft/vscode/issues/116740) would work on all scenarios. At least based on the description, it seems they...
Hi @miguelsmuller , I suggest you to keep track on https://github.com/microsoft/vscode/issues/116740 as well, because I hope this feature will be added natively in VS Code. Hope this helps
I’m waiting to see how the new **Profiles** feature will work. But it seems (based on a few tests) that VS Code _remembers_ the previous profile you were using for...
Just forgot to comment here about the Feature Request that the VS Code team asked me to create - https://github.com/microsoft/vscode/issues/156173. With this new API, I would be able to _open...
Hi @bediu , I'm inclined to keep Tags as simple as possible. So, for now, I'm not planning to add any new attribute to it. Specifically for the expanded/collapsed approach,...