Pluto.jl
Pluto.jl copied to clipboard
Text highlight bug
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.
This was experienced with Pluto v0.19.2 and Julia v1.7.2
Very weird, also it only happens for the first line of a string?