Bug#897216: mupdf: Text selection doesn't work properly any more

Hi, On Mon, Apr 30, 2018, at 4:53 PM, Samuel Thibault wrote: > Package: mupdf Version: 1.12.0+ds1-1 Severity: normal I just uploaded version 1.13 and I cannot reproduce it with this version. Could you try again with the new version? Kanru > Hello, > > Selecting text in mupdf with right-click do

Bug#897216: mupdf: Text selection doesn't work properly any more

Package: mupdf Version: 1.12.0+ds1-1 Severity: normal Hello, Selecting text in mupdf with right-click does not work properly any more: the text shows as selected, but when pasting into another X application with the middle-click, it is an *other* part of the document which gets pasted. The effect