Skip to content

Commit

Permalink
Remove kludge in line height measuring
Browse files Browse the repository at this point in the history
Which was introduced in 6ac8c13, for unclear reasons

Issue #5755
  • Loading branch information
marijnh committed Feb 19, 2019
1 parent 39b67d6 commit 28fe151
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/display/update_lines.js
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down

0 comments on commit 28fe151

Please sign in to comment.