Pluto.jl icon indicating copy to clipboard operation
Pluto.jl copied to clipboard

Text highlight bug

Open baggepinnen opened this issue 2 years ago • 1 comments

If I select some text inside a markdown string and the highlight spans more than one row, and ends in the middle of the last row, the entire last row is highlighted rather than the highlight ending where the selection ends. In the image below, the selection ends after the word "out" which is kind of visible due to the "double" highlight ending.

image

This was experienced with Pluto v0.19.2 and Julia v1.7.2

baggepinnen avatar Apr 26 '22 07:04 baggepinnen

Very weird, also it only happens for the first line of a string? image image

dralletje avatar May 15 '22 19:05 dralletje