You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Performing a full reload of the DevTools tool window when the IDE theme is changed is disruptive to the user's workflow and may cause them to lose any debugging data they were looking at before the theme change.
Now that we have DTD to communicate over, we should send an event when the IDE theme changes that DevTools can listen for. DevTools can then update itself for the new IDE theme values.
The text was updated successfully, but these errors were encountered:
There may be some situations where DTD isn't available, e.g. internal usages. Do you have an opinion on whether we should continue to update theme with a refresh or ignore theme changes in those cases? (or something else)
If DTD is not available, I recommend we do not update the theme. Having a mismatched theme is a better result than the user potentially losing state in their tool if we force refresh IMO.
Performing a full reload of the DevTools tool window when the IDE theme is changed is disruptive to the user's workflow and may cause them to lose any debugging data they were looking at before the theme change.
Now that we have DTD to communicate over, we should send an event when the IDE theme changes that DevTools can listen for. DevTools can then update itself for the new IDE theme values.
The text was updated successfully, but these errors were encountered: