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