I’ve set my preferred `tab-width` as a user style & it works just fine. I’ve also raised the issue on Bugzilla to make configuration a lot more visible/easy. Th

I’ve set my preferred `tab-width` as a user style & it works just fine. I’ve also raised the issue on Bugzilla to make configuration a lot more visible/easy. This is still preferred IMO to being stuck to specific values.