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

    What if instead of having the IDE special case space characters at the start of a line, we had a special character that could represent a variable width space?

      • 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.