Indent wrapped lines

Indenting of wrapped lines can now be turned on in the Preferences
window. So far, the indentation does not adapt to the number of tabs at
the beginning of the line.
work in progress