Minor problem with how editor reads escape sequences

I’m putting this here because the Issue Tracker has its own “issues” with escape sequences.

Given the following code:

Foo = "\\\" -- an escaped backslash.

Codea (that is, lua) will respond appropriately by printing


However, the text edit will show the comment in red. That is, it interprets this as a backslash followed by an escaped quote, rather than an escaped backslash followed by a quote.