Skip to main content
3 events
when toggle format what by license comment
Jan 10 at 13:13 vote accept Heinzi
Jan 10 at 13:09 comment added Heinzi Thanks, that was very helpful! (a) Yup, the "cryptic identifier" is company-internal jargon. Should have mentioned that in the introduction of the question. (b) I basically copied Unicode's definition of control characters. You're right, that should have been mentioned in the comment. (c) I was unsure whether (unnecessarily) setting element.value will cause some other JavaScript event to fire or not, so I wanted to "play it safe" and minimize the risk of incompatibility with other scripts. I'll document that.
Jan 9 at 20:36 history answered J_H CC BY-SA 4.0