Escaped characters un-escaping themselves in API editor on refresh

I have this line in an API script, for escaping quotation marks to be used in a chat window button: But if I save, then refresh the page, the line has automatically transformed itself into this: Something's happening with the way the editor saves the javascript files so that escaped character sequences are turned back into the characters they're escaping. Is there a workaround for this, at least?

Workaround: write them as a concatenation '&#34' + ';'

For the record, that particular solution didn't work - '&#34' apparently also  reads as a quotation mark. however, '&#' + '34;' did. Either way, this is an awkward workaround, and much better would be if the editor honored the text I actually entered into it.