In the text input editor, handle DEL as equivalent to Backspace.