= New "Editor Selector" panel on the User Dashboard
With this release, you can easily choose an editor when starting a workspace from the User Dashboard by using the brand-new "Editor Selector" panel.
Find more details about specifying a custom editor in the link: https://access.redhat.com/documentation/en-us/red_hat_openshift_dev_spaces/3.13/html/user_guide/ides-in-workspaces#defining-a-common-ide [official documentation].