Closed
Description
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.