That's for the editor to handle, not the terminal.