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
___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://context.aanhet.net archive : https://bitbucket.org/phg/context-mirror/commits/ wiki : http://contextgarden.net ___________________________________________________________________________________