Reply To: disable text layout

[Derek Read]

The only way to have both features at the same time is to turn pretty printing on (globally) and configure how each element should be pretty printed, which includes turning it off entirely on individual elements where white-space should be considered significant. This is done using the “preserve space” option. That tells the pretty printer to skip over those elements when pretty printing the document (which is done when saving).

Reply