Swapping he editor on file selection in shell.ts.