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

@cephirothdy2j

Description

We're getting an error thrown in Chrome for Android 7 and MS Edge Mobile:

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!