Thread:Extension talk:CodeEditor/Add mobile support/reply

I believe that's currently held up on upstream improvements: https://github.com/ajaxorg/ace/issues/37