Removed CodeMirror param viewportMargin: Infinity,

It never should have been there. I don’t know what I was thinking