Request ability to control tab width


#1

Some of us like 3 spaces per tab instead of 4.
It would great to be able to customize this in the editor settings.


#2

Good idea; tracking it over here.