• fidodo@lemmy.world
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    9 months ago

    Then you use the variable width space for code indentation, then, when you’re at the code indentation level, you’d switch to spaces for alignment. If the IDE special cased all space characters at the start of the line you wouldn’t have that flexibility. You could also easily create a linter that ensured that the variable width space always has the correct indentation level, and ignore the standard space characters after it.

    • kakes@sh.itjust.works
      link
      fedilink
      arrow-up
      2
      ·
      9 months ago

      You’re entirely correct. Plus, I hate the idea of changing the width of spaces for any reason lol.