setting viewportMargin to Infinity makes page unresponsive

To reproduce, I used the indentwrap sample, I added a button:

   <button onclick="renderAll()">Render All</button>

and code:

  function renderAll()
  {
    editor.setOption('viewportMargin', 'Infinity');
  }

when clicking the button the page becomes unresponsive (seems to be in an infinite loop) and I have to kill it from chrome task manager.

Using latest codemirror and latest chrome. This also happens if I remark the editor.on(“renderLine”, … section.

Thanks!

Set it to the number Infinity, not the string "Infinity".