disable editor tab width preference, it is useless and confusing

what we want is an "indentation width" value, but that needs refactoring
the indent code and is done in a separate branch