Skip to content

Fix to prevent copy-past from the PDF to add spaces.

Ewout Helmich requested to merge emh/feature/make_copy_paste_from_pdf_work into develop

@andrey @verdoes

Copy-pasting the lstlisting environments from the PDF (yellow shaded) seems to add spaces where you don't want them. This seems to fix that.

Merge request reports