Bug: gutter's height miscalculate when the view is not on viewport

When a view is not on the viewport and it has a custom line height, the gutter has some problems calculating its height.


Sandbox: scroll to see the problem

More details:

The problem starts to happen since:

  • @codemirror/gutter: 0.19.4
  • @codemirror/view: 0.19.14

This patch should help with that.

Yeah! That worked, thanks!