4 ms·
The one advantage to be gained is that users wouldn't control indentation characters -- meaning that the editor could be opinionated about one or the other, and
by ubertaco 11y ago
The one advantage to be gained is that users wouldn't control indentation characters -- meaning that the editor could be opinionated about one or the other, and the user wouldn't need to worry about accidentally messing it up.