"Selection deleted" text appears in PDF

[mgkuhn]

Some of my students have submitted Pluto-exported PDFs where the text string “Selection deleted” unexpectedly appears superimposed onto several pages. I don't know yet how to reproduce this, but I suspect this is another GUI element of a Pluto notebook that should be hidden in a PDF printout via appropriate CSS @media print rules.

Similar to #2474 ?

[fonsp]

Thanks for the report! Working on this in codemirror/dev#1298

[fonsp]

Do you still have a PDF document that shows this artefact? It would be really helpful! Did anything else in the PDF document look out of place? The CM author suspects that the student did not use the usual printing (PDF export) feature of the browser.

It would also be helpful to know the browser version number.

[mgkuhn]

Yes, looking at the pdfinfo data from the first two affected files that I could quickly find, they appear to be from “Safari/537.36” (from 2013?) and from “some unnamed/undated Microsoft thing”:

$ pdfinfo student1.pdf 
Creator:        Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/118.0.0.0 Safari/537.36
Producer:       Skia/PDF m118
[...]

$ pdfinfo student2.pdf 
Title:          <‹ DSP assignment 1  Pluto.jl
Author:         
Producer:       Microsoft: Print To PDF
[...]

The “Selection deleted” string appears on the exact same location on the first 5 pages in one file, and on the exact same location on the first 4 pages in the other file. I couldn't spot any other oddities in these files.

[mgkuhn]

student1.pdf

[fonsp]

fixed :) updating browsers would also have worked