Problem
Sometimes people need to create/edit queries on Quarry while from mobile. It is quite glitchy to do it normally in my Firefox for Android now.
Proposed solution
It would be nice to have solution we have in Mediawiki for .js editing and similar: a button to toggle highlight. When pressed, replace the syntax-highlighted textarea with a normal textarea. When clicked again, re-enable syntax highlighting.
Related code
The syntax highlight is done using CodeMirror at line 11 of view.js of the Quarry repository analytics/quarry/web. Please send patches to Gerrit and claim this task.