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
Previously, IDE configurations were only made via the /preferences page. However, with the introduction of changes to add IDE preferences for onboarding users #9432 and #9663, the IDE preferences will be seen in three locations:
Workspace start (e.g. a path with a context URL /#https://github.com/person/project
Dashboard, currently on the workspaces list page
Preferences page (/preferences) as before
Proposal
Implement property location with the following values: workspace_list, workspace_start and preferences and extend the existing ide_configuration_changed event. These properties would be passed for each occurrence of the IDE preferences throughout the application.
Relates to this PR: #9663 as part of the epic #6707