• fidodo@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      ·
      edit-2
      8 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
        ·
        8 months ago

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