tab width is now 4 spaces per default. I don't think we should add an option to configuration into our default preferences gui, it would add quite a lot of clutter for an unimportant setting
tab width is now 4 spaces per default. I don't think we should add an option to configuration into our default preferences gui, it would add quite a lot of clutter for an unimportant setting