Restrict lines rendered by CodeMirror again

Restrict lines rendered by CodeMirror again

Setting it to anything but the default value only makes sense if one
wants to utilize the browser-search, but this comes with a significant
performance penalty when dealing with very large  documents.

CodeMirror offers an own search that works perfectly smooth with these
documents, without crippling the browser performance.