CodeMirror 3.1 compatibility
override CM's default height of 300px with auto, now that the CM element controls the height of the editor
Correcting event handler for codemirror
Similar correction on event registration with codemirror instance.
exploring CM3.1 JS changes
Merge commit 'dyoo/codemirror-3.1' into codemirror-3.1
Merging in work from retief's branch

https://github.com/retief/WeScheme/commit/9c613f81e2c866f4694c075ca5e42b509124d41d
refactored the pretty-printing css rules so it's not copy-and-pasted in two files.
Merge branch 'master' into codemirror-3.1
fixing regression involving markText
correcting problem with binding fullscreenchange
noting where something's breaking under ie8: it appears that the google closure compiler is generating something that's proviking a bug under ie8.
hack for ie8
found error in use of addRule.  I have no idea how this was missed.
update iOS keyboard to use CM3's new event handling format
Merge remote-tracking branch 'schanzer/codemirror-3.1' into codemirror-3.1
remove iPad hack -- whatever CM bug it was designed to work around no longer exists, and now it's become a bug itself.
Merge commit 'dyoo/codemirror-3.1' into codemirror-3.1
Merge remote-tracking branch 'schanzer/codemirror-3.1' into codemirror-3.1
updating codemirror to HEAD