Text editors

Preserve white-space formatting in HTML mode