you are viewing a single comment's thread
view the rest of the comments
[–] 1 point 1 year ago (4 children)

We underutilize tabs. https://nick-gravgaard.com/elastic-tabstops/

(Don't mistake this as me saying everyone should start using tabs immediately. This would take a drastic overhaul of all textual displays and we're likely to never see such a thing, but it's still a cool concept.)

  • source
  • parent
  • hideshow 4 child comments
  • [–] 1 point 1 year ago* (last edited 1 year ago) (3 children)

    Good to see tabs' fundamental flaw was solved. I think I'll be switching to this.

  • source
  • parent
  • hideshow 3 child comments
  • [–] 1 point 1 year ago

    It's not "solved." Not trying to dive into yet another tabs vs. spaces argument. But this is just another example of how tabs can be pretty neat when they're interpreted in a specific way. But it's up to your editor, plugin, etc. to do so. Take the same text and throw it into an editor that doesn't use this same interpretation, and it immediately falls apart.

  • source
  • parent