Indentation is lost when copy/pasting from PDF

[DamienCassou]

In a generated PDF file, if I copy a script's content and paste it in a text editor, spaces at the beginning of lines are lost.

/cc @cdlm

[cdlm]

I believe this was fixed by the keepspaces option in cdlm/sbabook@b0995ee?
Might not be perfect, but indentation is copy-pasted.

[DamienCassou]

I don't have this impression. When I take the latest PDF generated by Jenkins and I copy/paste an example, e.g., book page 15, I don't see indentation.

[cdlm]

For me it works, both in Emacs and in the OS X Text Edit. Only strange
thing is I get 8 spaces as the first indentation, and then it matches the
source (e.g. the ifFalse: in the #handleRequest: listing on page 15…

On 24 April 2016 at 11:05, Damien Cassou [email protected] wrote:

I don't have this impression. When I take the latest PDF generated by
Jenkins and I copy/paste an example, e.g., book page 15, I don't see
indentation.

—
You are receiving this because you were mentioned.
Reply to this email directly or view it on GitHub
#81 (comment)

Damien Pollet
type less, do more [ | ] http://people.untyped.org/damien.pollet