Change how 'Disable Formatting' works#4496

Open

ChrisJefferson wants to merge 2 commits intogap-system:masterfrom ChrisJefferson:fix-output

+11-16

Commits on May 18, 2021

Always indent, even when PrintFormatting is disabled
ChrisJefferson
committed

Commits on May 19, 2021

Fix SetPrintFormattingStatus for *stdout*
ChrisJefferson
committed