Comment

Comment by liamdanielduffy

“participants all keep their own custom key bindings, packages, and themes.”

what happens when two different people editing the same document have two different settings for # spaces per tab character? whose takes precedence? (Or would there be a possibility of inconsistent spacing depending on who is adding a tab?)

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton