#37 Indent type. Tab or spaces.

[Anonymous]

It would be a nice feature, if it was possible to change indent type, so that it is possible to change between real tabs, or spaces, and a possible setting to how many spaces one tab is.