#23 Tab transformed to space in the html editor

[Anonymous]

Since some time (when exactly ?) I cannot add tabs
anymore in the html editor. They are replaced by
spaces. This is quite annoying for the indentation.

Also in the template editor.