Reply To: title wrapping

[gcrews]

Thanks, Yeah I found that after a bit of poking around. I looked at the ctm files and I can’t tell what is different about the pre and title prettyprintingoptions. I’m guessing Xmetal has some specific built in handling of pre and screen.

Reply