marijnh/CodeMirror — pull request #1545 by minrk (2013-05-23 19:42:30+00:00)
Title: forgive one pixel before drawing scrollbars

Sometimes I find that CodeMirror adds scrollbars inappropriately (most often due to browser zoom). Digging around suggested that it is some non-integers resulting in rounding up the measured size, and I haven't been able to find a case where the two values differ by more than one pixel, so simply setting the threshold one pixel higher seems to address the issue.

This PR forgives one pixel in the size comparison before drawing the scrollbars.