Cannot uninstall color theme plugins #11676
Labels
bug
bugs found in the application
plug-in system
issues related to the plug-in system
theming
issues related to theming
Bug Description:
I didn't dive too deep into this issue, but noticed it while working on #11672. When uninstalling a color theme, the frontend contributions from that plugin aren't disposed at all. When reloading the application, the monaco theming service still thinks these color themes exist, and stores them in the indexed DB. After reloading the plugin has been disposed, but since the indexed DB still contains the themes, the theming service loads them from the indexed DB, making it effectively impossible to uninstall color themes.
Steps to Reproduce:
Additional Information
The text was updated successfully, but these errors were encountered: