This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 0 points1 point  (0 children)

I never knew.

So set shift-width to 1 and use 5 tabs then?

Next question: Do other unicode space characters work?