> The corollary to this is that if you change the indentation level in _settings_, it doesn't update the registry setting either. I'm not sure it's feasible to keep the two in synch. IIR, the rationale behind keeping the two settings distinct was to allow for the future possibility of loading settings on a per-project level. In that use case, you _don't_ want the project's tab width to persist, because "don't mess with my IDE, project author".
I'm leaning toward by-design, but I'd be happy t