@boatswain

Seconding the semantic nature of tabs (have your $EDITOR display a literal tab as anything from 1 to N spaces), but I'm stuck in a world where Python standardized on 4-space indentation, so the ol' "When in Rome" adage applies. :sigh:

@happeningtofry99158

@otl

I love this! I'd tinkered with implementing something similar, so I was tickled to find someone else had already beaten me to it ☺

@emersion @fediverse