Skip to content
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

Default icon themes from plugins are not properly applied the first time #10937

Closed
martin-fleck-at opened this issue Mar 28, 2022 · 0 comments · Fixed by #10938
Closed

Default icon themes from plugins are not properly applied the first time #10937

martin-fleck-at opened this issue Mar 28, 2022 · 0 comments · Fixed by #10938
Labels
theming issues related to theming

Comments

@martin-fleck-at
Copy link
Contributor

martin-fleck-at commented Mar 28, 2022

Bug Description:

Default icon themes from plugins are not properly applied the first time since they are registered after the preferences have been initialized. Once they are set and you reload/restart the application, everything works fine since the theme is stored in the local storage and applied as soon as it is registered. However, if there is no prior theme set, the icon theme service believes that the theme is already set correctly since the default value was also changed.

Steps to Reproduce:

  1. Setup available on this branch as well: https://github.com/martin-fleck-at/theia/tree/issue-10937-case
  2. Install any icon theme from vsx into your product, e.g., https://open-vsx.org/extension/PKief/material-icon-theme
  3. Set the default icon theme for your application to that theme, e.g., "defaultIconTheme": "material-icon-theme"
  4. Start up the (browser or electron) application and see if the theme is applied on a clean state. You can get to a clean state by clearing the browser data or removing the respective electron directories.
file-icon-theme-application.mp4

Additional Information

  • Operating System: Ubuntu but probably all are affected.
  • Theia Version: current master
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
theming issues related to theming
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants