The indentation type (tabs/spaces/...) is a document's property. I'd appreciate if the tab width would be a document's property as well.

For example, Python and C files typically require different tab widths. Setting that value separately for each document would be desirable.

What do you think?

Wolfgang