Remove kludge in line height measuring

marijnh · marijnh · commit 28fe151c63cf · 2019-02-19T13:34:56.000+01:00
Which was introduced in 6ac8c13, for unclear reasons Issue codemirror#5755
diff --git a/src/display/update_lines.js b/src/display/update_lines.js
@@ -25,7 +25,6 @@ export function updateHeightsInViewport(cm) {
         width = cur.text.firstChild.getBoundingClientRect().right - box.left - 1
     }
     let diff = cur.line.height - height
-    if (height < 2) height = textHeight(display)
     if (diff > .005 || diff < -.005) {
       updateLineHeight(cur.line, height)
       updateWidgetHeight(cur.line)

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,6 @@ export function updateHeightsInViewport(cm) {`
`25`	`25`	`width = cur.text.firstChild.getBoundingClientRect().right - box.left - 1`
`26`	`26`	`}`
`27`	`27`	`let diff = cur.line.height - height`
`28`		`- if (height < 2) height = textHeight(display)`
`29`	`28`	`if (diff > .005 \|\| diff < -.005) {`
`30`	`29`	`updateLineHeight(cur.line, height)`
`31`	`30`	`updateWidgetHeight(cur.line)`