Whoops, sorry for the very confusing typo, and thanks for noting it! Corrected now. That's what I get for commenting on HN when I should have already called it

Whoops, sorry for the very confusing typo, and thanks for noting it! Corrected now. That's what I get for commenting on HN when I should have already called it a night... :-) With the typo corrected, yes I do prefer proportional fonts (and as mentioned especially Trebuchet MS), and all the editors I use support them. I just find them much more readable to my eyes than monospaced. Except in a terminal where apps assume monospaced font - so that's where Consolas shines.