Browser autocorrect and smart quotes interferes

[Christopher Cahoon]

My phone browser interferes a lot because it thinks it should use the REPL as a rich text editor. Would you consider controlling those behaviors on your end? Something along the lines of:

<textarea autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"></textarea>

[Christopher Cahoon]

(Thanks for the cool site!)

[Michiel Borkent]

I was going to file an issue about this but glad you did! People on iPhones seem to bump into the behavior that their browser inserts smart quotes and then you get something like: “Hello World”. Try pasting that in the REPL and you'll see what the problem is. spellcheck="false" should take care of that problem, but the other attributes make sense too.

[Elia Scotto]

Thanks for the solution. Tested and fixed.