Incorrect highlight when double-clicking on right side of text block
Submitted by dam..@..il.com
Link to original bug (#743694)
Description
Double-clicking in the right margin of a PDF document next to a block of text highlights the closest line, but hides the text under the selection highlight.
Triple-clicking shows both the selection highlight and the text, as expected.
Double-clicking on the left margin also works as expected.
I do not know if this happens in later versions; I do not have any other test system.
Evince 3.10.3, Linux Mint
Version: 3.10.x