💾 Archived View for gem.twunk.uk › log › 2023-05-13-proportional-coding-fonts.gmi captured on 2023-11-14 at 07:49:08. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-05-24)
-=-=-=-=-=-=-
Apparently people in the world of Gemini are talking about using proportional fonts for code. I will indulge myself by expressing one small opinion, likely to cause disgust amongst some:
If you use a proportional font, you should also use the tab character (ASCII value 9) for indentation. One horizontal tab character per indentation level.
To attempt to indent using spaces while displaying text in a proportional font is clearly a grand folly.
Backlinks: