I can’t imagine it would be difficult for an IDE to scale the width of spaces found at the start of a line, to emulate this same customization while still preserving my sanity as a fervent space-indenter. I’ve never seen an IDE that does this, but it’d be an interesting compromise.
What if instead of having the IDE special case space characters at the start of a line, we had a special character that could represent a variable width space?
I can’t imagine it would be difficult for an IDE to scale the width of spaces found at the start of a line, to emulate this same customization while still preserving my sanity as a fervent space-indenter. I’ve never seen an IDE that does this, but it’d be an interesting compromise.
What if instead of having the IDE special case space characters at the start of a line, we had a special character that could represent a variable width space?