-
Notifications
You must be signed in to change notification settings - Fork 30.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[themes] Add ability to reload themes without restarting the editor #66115
Conversation
made some changes. |
Fine by me as long as it brings us one step closer to merging. 😄 |
Looks like |
We had long discussions in the team about this feature. By design, the content of extensions are expected to be immutable. Only our extension management code should make changes.
No warranties on that flag and it might also be removed any time if necessary. But I will let you know once we have the proper API in place. Thanks for your help! |
So that's what Just for the record, I proposed an API but it was rejected for not fitting to the current API (#60136 (comment)). I'm totally in favor of an API point and that was my original approach. But in order to see the reloading feature happening, I went with whatever was suggested. I don't want to sound bitter but a temp solution is like no solution at all. Never the less, I'll try to see the cup half-full and not half-empty. Some will say that from not having this at all, at least we can have it as it is. |
Yes, sorry, my fault that we went down that pass. But also a reload API doesn't make any sense given that extensions are not supposed to make changes to their content. You guys also only do that to work around limitations on the icon theme syntax. |
Resolves #45963
This PRs adds the ability to reload a theme (color or icon) without the need to restart the editor.
Replaces #60136