4 ms·

Yes! Use tabs and allow people to pick their own spacing Also good for accessibility

• alkonaut 3y ago
  Can’t a sufficiently elever editor render leading spaces with any (e.g) 200% width and thus solve the problem of configurable indent width without the need for tabs?
  • garaetjjte 3y ago
    Not really, because it would screw up alignment (tabs can only be used for indentation, alignment needs spaces).
    • alkonaut 3y ago
      Yes I’m only considering indentation now. Tabs vs spaces for indentation feels like it has reasonable arguments both ways but tabs for alignment just feels wrong tbh. Never even considered it a possibility in source code (and never saw it in the wild).