Lars Ingebrigtsen writes: > Makes sense to me, but it leads to odd indentation: I verified it with several fonts, including monospace and it looked fine. Anyways, I replaced the spaces with tabs in the attached patch; have a look. If it's still not properly aligned we can do it in a single line as well.