Mobile browser error: Cannot read property 'setOption' of undefined #32

TypeError: Cannot read property 'setOption' of undefined
Looks like it's being thrown here.
Per Codemirror's browser support page, mobile browser support is experimental. We can catch the mobile browsers in our application and render a textarea instead, but I thought maybe this error was introduced by recent changes made to your library since we never saw the issue prior to our release a couple days ago.
Thanks!