deanis74
New Member
Joined 6 years ago
User Profile
User Widgets
Contributions
Re: Pretty Print trimming spaces?
I found myself searching this same issue tonight. Turns out it's far from new, having been originally reported in 2007. However, the issue is with the underlying library used to perform the 'pretty printing'. While they have no plans to change their behavior, someone did post a patch back in 2010 that could be manually applied. I have no idea if that patch is still relevant.1.3KViews1like0Comments