Hi,

I am trying to use quotation or blockquote in a document, but when selecting and copying the text in poppler/pdf.js I get double marks.

Looking at the minimal example below:

\nopdfcompression
\setuppagenumbering[location=]
\starttext
\startquotation Hello world! \stopquotation
\setupquotation[left=«,right=»]
\startquotation Hello world! \stopquotation
\setupquotation[left=‘,right=’]
\startquotation Hello world! \stopquotation
\setupdelimitedtext[blockquote][left=‘,right=’]
\startblockquote Hello world! \stopblockquote
“Hello world!”\\
«Hello world!»\\
‘Hello world!’\\
\startquote Hello world! \stopquote\\
\quote{Hello world!}\\
\stoptext

The text stream seems to have an additional object for the quotation and blockquote lines.

Rendering the PDF in itself is fine but when copying the text I get mixed results (poppler/evince and pdf.js give double marks but mupdf does not: “Hello world!””,«Hello world!»»,‘Hello world!’’,‘Hello world!’’).

Is this just an issue with poppler/pdf.js when trying to extract the text (as the PDF rendering seems all fine)?

Adam