The line data obtained by mouseover is inaccurate

Hello marijn.
I registered a mouseover event in gutter. The value of the parameter line is inaccurate

My mouse has moved to the second line, but the line value is still the first line
b

Reproduce the demo:

PS:Been asking a lot of questions lately, thanks for your patience

That looks like it was caused by rounding errors. This patch should help.

awesome,thanks

hi,marijn。 When I set a certain height to .cm-editor。
image
The space behind the mouseover event will also return the row data of the last row


GIF:
a

In my code, I don’t want the light red dot below the second line. As well as not triggering the mousedown method. Or be able to identify the mousedown triggered in the blank area
b
image

Reproduce the demo: