Verbatim
See also Verbatim - thoughts from Jason.

"Verbatim" can be useful


Some nice basic layout can be done if:
1. font is fixed-width
2. line breaks are followed exactly

This almost works, but at the moment (2) isn't quite right. Linebreaks are observed, but instead of being translated into
they seem to be translated into

That might(*) make sense in "regular" context, but it doesn't in "verbatim" context — it breaks the "verbatimness".

(*) Even this is arguable

Line breaks — markdown, Bolzano, ...


Just thinking about line breaks in a regular (non-verbatim) context.

- 1 linebreak: regular whitespace
- 2 linebreak: newline PLUS extra vertical space (\...\)
- 3 linebreak: "
- 1 linebreak: newline PLUS extra vertical space (\...\)
- 2 linebreak: "
- 3 linebreak: "
- 1 linebreak: newline with NO extra vertical space (\)
- 2 linebreak: newline with extra blank line of vertical space (\ \)
- 3 linebreak: newline with 2 extra blank lines of vertical space (\ \ \)


I don't mind markdown, but I can see why the behaviour might be unexpected for new users.

Current Bolzano behaviour also seems unexpected, in a different way.

The least unexpected might be the "ideal (maybe?)". It corresponds to how many people use a word processor —- using the Return/Enter key to start a new line, and using blank lines as extra vertical space.

This might be the most intuitive for someone with a general backgroud.


Examples


This doesn't work


letters | number


+
—-
a | 1
bb | 2
ccc | 3

This almost does, but ...


letters | number


+
—-
a | 1
bb | 2
ccc | 3

But the extra inter-line space messes it up.

(General messing about)


regular


Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah.

Blah blah blah.
Blah blah blah.
Blah blah blah.

verbatim


Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah.

Blah blah blah.
Blah blah blah.
Blah blah blah.