This JS page has the following code
bug = '– — ‘+’ “+” ° º ″ ′ ≈ ≠ ≤ ± − × ÷ √ ← → · §
\{\+}} {\{\{+}}}';
If I click after a "\" and press backspace, CodeEditor deletes the character which is after the cursor, instead of the "\".
Version: unspecified
Severity: normal
Attached: (Screencast)