gcrews November 30, 2010 at 9:36 pm
Reply to: title wrappingNovember 30, 2010 at 9:36 pm
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.