Code Editor : shell-workspaces-switch.page