Hacker News new | ask | show | jobs
by gsoto 2039 days ago
Interesting. I find that the usual four spaces give me the ideal indent length in proportional fonts.